about summary refs log tree commit diff
path: root/src/aterm-helper.pl
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-10-17T14·01+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-10-17T14·01+0000
commit24737f279e6f1e0fd079609b9397deb867925324 (patch)
treeb2c8b9938227aebd9ebd31b6016f9304443bbb3c /src/aterm-helper.pl
parent4bd5cdb90b980bd5e0eec86bf3fcfdd3b07946d1 (diff)
* Backwards compatibility with old user environment manifests.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions