Laurent Rineau fa281d882f Fix my last patch ... The git-fetch command was wrong and said: fatal: Couldn't find remote ref cgal-dev I should have tested!		2015-04-02 17:08:27 +02:00
..
deb	update Debian packaging information for 4.1-1	2012-10-24 21:01:58 +00:00
infrastructure	Fix my last patch	2015-04-02 17:08:27 +02:00
package_info/Maintenance	remove executable property from copyright files	2011-10-03 08:18:16 +00:00
public_release	Polish announcement and changes. Prepare 4.6.	2015-03-10 11:07:08 +01:00
release_building	Polish announcement and changes. Prepare 4.6.	2015-03-10 11:07:08 +01:00
svn_server/hooks/Mail/Sender/CType	Add a script to detect wrong permissions, and fix permissions	2014-02-06 18:49:09 +01:00
test_handling	Fix test results handling	2014-08-27 16:34:22 +02:00
dont_submit	The whole Maintenance package must be in dont_submit.	2009-09-01 13:29:34 +00:00