summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Moved devel/* and Documentation/* to "devel" branchRomain Perier2009-08-211-9/+0
* Move to 2 folder layout where one is for devel and one for fixed things.Tomáš Chvátal2009-08-131-0/+9