Maxime Gimeno 6f4a3aaf8a Fixes.		2018-02-14 12:51:38 +01:00
..
deb	…
infrastructure	Fixes.	2018-02-14 12:51:38 +01:00
package_info/Maintenance	Fix the detection of packages directories	2017-04-13 15:14:53 +02:00
public_release	Cganhe official master doc from doxygen 1.8.4 to doxygen 1.8.13.	2018-02-12 12:51:30 +01:00
release_building	Revert the merge of PR #2478	2018-01-04 17:54:08 +01:00
test_handling	Optimize the script (from 20 minutes to 0.3 seconds!)	2017-04-28 10:40:29 +02:00