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/nix-shell.xml | |
parent | 0bf34de43b2fc4c9c3104b986eaea5c5cc856b83 (diff) |
Support arbitrary numeric types for settings
Diffstat (limited to 'doc/manual/command-ref/nix-shell.xml')
0 files changed, 0 insertions, 0 deletions