diff options
author | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T19·51+0200 |
---|---|---|
committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T20·11+0200 |
commit | 772ef22c25f6dac969ce7f13586a08d1191f4a44 (patch) | |
tree | f50d735da24e26f66a89a98f70d25e3a6fce02e7 /.gitignore | |
parent | 8ad898b2cd2f5d7bba29da48f67658d3a04888db (diff) |
man page (nix-instantiate): -E is optional
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions