Maxime Gimeno 6f4a3aaf8a Fixes.

2018-02-14 12:51:38 +01:00

..

deb

update Debian packaging information for 4.1-1

2012-10-24 21:01:58 +00:00

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