Index of /gestion/dev

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[DIR] cliparts/               2016-10-15 13:56    -   
[DIR] examples/               2020-03-14 20:13    -   
[DIR] ical/                   2016-10-15 13:56    -   
[DIR] namespacemig/           2020-03-14 20:13    -   
[DIR] resources/              2019-09-05 12:24    -   
[DIR] setup/                  2019-03-01 07:24    -   
[DIR] skeletons/              2020-03-14 20:13    -   
[DIR] tools/                  2020-03-14 20:13    -   
[DIR] translation/            2020-03-14 20:13    -   
[   ] detectnotabfiles.sh     2016-10-15 13:56  649   
[   ] resize_window.sh        2016-10-15 13:56  690   
[   ] fixperms.sh             2016-10-15 13:56  732   
[   ] rmphpclosingtag.sh      2016-10-15 13:56  819   
[   ] fixduplicatelines.sh    2016-10-15 13:56  860   
[   ] fixduplicatelangkey.sh  2016-10-15 13:56  964   
[   ] fixdosfiles.sh          2016-10-15 13:56  1.6K  
[   ] fixutf8bomfiles.sh      2016-10-15 13:56  1.7K  
[   ] fixaltlanguages.sh      2016-10-15 13:56  2.0K  
[   ] optimize_images.sh      2016-10-15 13:56  4.9K