diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-14 12:32:44 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-14 12:32:44 +0000 |
| commit | e418976107ed1581c108c82cd5b3b06c2f4ba9db (patch) | |
| tree | e4346ab680095c66ecd49610548b18aa10c33a04 /src/aterm-helper.pl | |
| parent | 4e329f173f738dfc83e58bdb8ad2ced6c452a395 (diff) | |
* Option --argstr for passing string arguments easily. (NIX-75)
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions