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
..
Interval_skip_list.h	Add a script to detect wrong permissions, and fix permissions	2014-02-06 18:49:09 +01:00
Interval_skip_list_interval.h	Turn QPL into LGPLv3+	2012-01-13 16:33:35 +00:00
Level_interval.h	Turn QPL into LGPLv3+	2012-01-13 16:33:35 +00:00