diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-09-10T08·50+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-10T08·50+0200 |
commit | 5b2fdfdca24df3132a4d92dd7b63e2ff58c7555e (patch) | |
tree | 70d5a23285ebcb0f643ca91f9ff20fc18cc22e9d /doc/manual | |
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')
0 files changed, 0 insertions, 0 deletions