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
..
CORE	Add a script to detect wrong permissions, and fix permissions	2014-02-06 18:49:09 +01:00
export	…