diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-17T16·22+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-17T16·22+0000 |
| commit | 997db91e07882f0555e224a2687189a362567577 (patch) | |
| tree | 7302e4559bbeab03111901a89fddc4b8831f8afc /src/aterm-helper.pl | |
| parent | 3392d32e8b4202da8d3b013edd6f585e98aa7b02 (diff) | |
* Don't pass -K. It should really inherit the setting of the calling
Nix though.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions