summaryrefslogtreecommitdiff
path: root/doc/indevs.texi
diff options
context:
space:
mode:
authorClément Bœsch <clement.boesch@smartjog.com>2012-01-02 15:23:09 +0100
committerClément Bœsch <ubitux@gmail.com>2012-01-04 13:21:08 +0100
commit837126568c83b3f95cc19c1f24c005a215a2af1e (patch)
tree120bf0c09f7f4db8d72a2846979aa6ab71cfbc45 /doc/indevs.texi
parent15b219fae9da1691dfb264f51637805e1ca63d1a (diff)
doc: use @code{} for --{enable,disable}-options.
Diffstat (limited to 'doc/indevs.texi')
0 files changed, 0 insertions, 0 deletions