diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-04-13T15·54+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-04-13T15·54+0200 |
| commit | 6bd9576aeb55927cb551736a47b4e8e3fd1063bb (patch) | |
| tree | 601949100e2e7db0032dc54397180614dd3cf965 /doc/manual/command-ref/conf-file.xml | |
| parent | 0bf34de43b2fc4c9c3104b986eaea5c5cc856b83 (diff) | |
Support arbitrary numeric types for settings
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
0 files changed, 0 insertions, 0 deletions