Age | Commit message (Collapse) | 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 | |
Files are now generated into a build directory, they don't pollute the source tree anymore. | |||
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 | |