Remove 'db_sequence_cache' option

aleksander Machniak

2012-09-18 e3dd1b77390c3d060ee0b18bfe287ed5078c5dc7

1
2
3
4
5
6
7
8
<?php
 
$labels = array();
$labels['help'] = 'Aide';
$labels['about'] = 'A propos';
$labels['license'] = 'Licence';
 
?>