summaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Expand)Author
2019-10-11add bootstrap scriptFlorian Dold
2019-04-20improve landing docu and build system (#5693)demo-2019-08-31-00Christian Grothoff
2017-06-02rearranging the whole repository into docs/ and demo/ subdirectories.Marcello Stanisci
2016-09-03README: fix typo.Hartmut Goebel
2016-09-03README: Add short instructions how to build.Hartmut Goebel
2016-02-29move landing page to demo repositoryFlorian Dold