docstrings and api
[tiramisu.git] / doc / option.txt
2013-05-21 gwennew api documentation
2013-05-21 gwenMerge branch 'master' of ssh://git.labs.libre-entrepris...
2013-05-21 gwendoc is ready for the new api refactoring
2013-05-15 gwenrefactoring the doc for the 0.55 new API