diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-15T16·52+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-15T16·52+0000 |
| commit | 6784b14241c916943cd9b1b0fa0af66fb574605c (patch) | |
| tree | 128693fa89eb8bd688df3b396cc321434ca0b7f1 /src/aterm-helper.pl | |
| parent | ca210d2a581622e0276c5e98420189374652d24a (diff) | |
* nix-build: pass --argstr to nix-instantiate.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions