summaryrefslogtreecommitdiffstats
path: root/doc/user_manual.inc
Commit message (Expand)AuthorAgeFilesLines
* Fix yet more typos.Juergen Borleis2016-06-201-1/+1
* Explain the debugging support in more detailsJuergen Borleis2016-06-201-8/+14
* Keep this string verbatim to use it everywhereJuergen Borleis2016-06-201-12/+12
* docs: use better variable name for the platform config directoryMichael Olbrich2016-06-201-2/+2
* Split the user manual section into separate fileJuergen Borleis2016-06-201-0/+437