diff options
| author | AmineChikhaoui <amine.chikhaoui91@gmail.com> | 2017-10-25T15·51+0100 |
|---|---|---|
| committer | AmineChikhaoui <amine.chikhaoui91@gmail.com> | 2017-10-25T15·51+0100 |
| commit | 0f9a7225ab47fe313db41f4019177be8fb84a1dd (patch) | |
| tree | 1943e9073262941fd9c6b7927cd7ee6172eb3d92 /Makefile.config.in | |
| parent | 54a2cd9ce43b29382a5799635ea9aa28c245d3a4 (diff) | |
respect SIGINT in nix copy during the paths queries #1629
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions