setpermissive should have opt has option
[tiramisu.git] / AUTHORS
2013-05-10 gwenadd philippe as a contributor
2012-07-25 gwenvarious misspellings
2012-07-24 Daniel DehenninDynamic version and Makefile target to generate a distr...
2012-07-23 gwenauthors file