summaryrefslogtreecommitdiffstats
path: root/web/input/doc/extra-opts.md
AgeCommit message (Expand)AuthorFilesLines
2014-01-12Documentation: Denote command lines with "$"Holger Weiss1-4/+4
2013-10-29doc/extra-opts.md: Change wording a bitHolger Weiss1-5/+7
2013-10-04Add test instance of the web siteHolger Weiss1-0/+72