Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-11-20 | update DB schema | Christian Grothoff | |
2019-08-29 | initial rough import of other docs | Florian Dold | |
2017-01-27 | Minor fixes on rendering | Marcello Stanisci | |
2016-08-11 | update DB schema | Christian Grothoff | |
2016-05-27 | add DB schema, fixing #4067 | Christian Grothoff | |