Stanislav Horacek f0d66fd893 move decimal places option to appropriate paragraph

2012-02-14 17:51:31 +01:00

..

auxiliary

doh, XMLLINT only exported on --with-lang builds

2012-02-14 13:09:23 +00:00

text

move decimal places option to appropriate paragraph

2012-02-14 17:51:31 +01:00