diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-10 10:50:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-10 10:50:51 +0200 |
| commit | 5b2fdfdca24df3132a4d92dd7b63e2ff58c7555e (patch) | |
| tree | 70d5a23285ebcb0f643ca91f9ff20fc18cc22e9d /doc/manual/schemas.xml | |
| parent | bba3f0a308cceb56bad4aa1efe13927360ae463f (diff) | |
| parent | d6ac762bf7dcc844db28dcc2f2864d8cebbb5cf6 (diff) | |
Merge pull request #2412 from dingxiangfei2009/patch-repl-autoargs
nix repl respects --arg and --argstr
Diffstat (limited to 'doc/manual/schemas.xml')
0 files changed, 0 insertions, 0 deletions