summaryrefslogtreecommitdiff
path: root/doc/de/autogen/user/exec_options.asciidoc
AgeCommit message (Expand)Author
2014-05-25doc: use .asciidoc extension instead of .txt for doc filesSébastien Helleu