Files
cgal/Scripts/developer_scripts
Laurent Rineau 367314623d Add a script to detect wrong permissions, and fix permissions
The script uses zsh, and lists regular files that have the
'executable' permission.

At the same time, I fix the permissions of several files.
2014-02-06 18:49:09 +01:00
..
2010-05-06 08:09:11 +00:00
2008-10-14 13:46:34 +00:00
2012-05-24 12:36:17 +00:00
2007-04-03 14:55:12 +00:00
2012-11-01 08:36:19 +00:00
2012-12-03 18:44:24 +01:00
2006-07-14 09:24:18 +00:00
2011-10-10 13:48:25 +00:00
2012-12-03 18:44:24 +01:00
2013-02-19 16:45:00 +01:00
2011-03-03 15:45:55 +00:00