Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-29 | structure | Florian Dold | |
2017-12-14 | make URL arg more autodescriptive | Marcello Stanisci | |
2017-11-15 | remove outdated note | Marcello Stanisci | |
2017-10-14 | remove dead links | Christian Grothoff | |
2017-06-01 | fix some compiler warnings | Marcello Stanisci | |
2017-05-31 | move content away to proper repos, plus killing obsolete stuff | Marcello Stanisci | |