Age | Commit message (Expand) | Author |
---|---|---|
2019-10-15 | allow 'make install' to prefixdemo-2019-11-02-00 | Florian Dold |
2019-10-13 | simpler and better build system | Florian Dold |
2019-04-20 | improve landing docu and build system (#5693)demo-2019-08-31-00 | Christian Grothoff |
2019-02-20 | Gitignore & submodules updating. | Marcello Stanisci |
2019-02-14 | fix #5537 | Marcello Stanisci |
2017-06-02 | rearranging the whole repository into docs/ and demo/ subdirectories. | Marcello Stanisci |