summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAge
* doc: Do not use "path" when a file name is meant.Ricardo Wurmus2017-05-05
* doc: Document database schema.Ricardo Wurmus2017-05-05
* doc: Fix spelling.Ricardo Wurmus2017-05-05
* doc: Describe how to send patches.Mathieu Lirzin2017-01-29
* doc: Update email contact for contributors.Mathieu Lirzin2017-01-23
* cuirass: Add "--port" command line option.Mathieu Lirzin2016-12-28
* doc: Add 'Overview' Chapter.Mathieu Lirzin2016-12-16
* doc: Include 'Continuous Integration' in the introduction.Mathieu Lirzin2016-12-16
* doc: Write Introduction.Mathieu Lirzin2016-12-09
* doc: Change short description.Mathieu Lirzin2016-12-08
* doc: Add Cuirass manual.Mathieu Lirzin2016-12-04