diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-09-28T15·58+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-09-28T15·58+0200 |
| commit | f3e0d468218994343d0e595a50304cc122ad1406 (patch) | |
| tree | 331f8bba68e1e5d38496897820fd4886687ebd0d /Makefile.config.in | |
| parent | 5421ad243e261d35bf8cb1000aa389399cf7657f (diff) | |
nix run: Restore signals
Otherwise Ctrl-C doesn't work.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions