summaryrefslogtreecommitdiffstats
path: root/docs/Ubuntu-LTS.txt
Commit message (Expand)AuthorAgeFilesLines
* More work on PROMELA transformationStefan Radomski2014-11-121-1/+12
* Got ready for cmake3 and some minor fixesStefan Radomski2014-07-031-0/+44