Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-10-15 | allow 'make install' to prefixdemo-2019-11-02-00 | 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 | |