- can reset directly custom settings for an option: setting[option].reset()
[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