about summary refs log tree commit diff
path: root/doc/manual/command-ref/conf-file.xml
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-04-13T15·54+0200
committerEelco Dolstra <edolstra@gmail.com>2017-04-13T15·54+0200
commit6bd9576aeb55927cb551736a47b4e8e3fd1063bb (patch)
tree601949100e2e7db0032dc54397180614dd3cf965 /doc/manual/command-ref/conf-file.xml
parent0bf34de43b2fc4c9c3104b986eaea5c5cc856b83 (diff)
Support arbitrary numeric types for settings
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
0 files changed, 0 insertions, 0 deletions