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-05-02T21·39+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-05-02T21·39+0000
commit68174bdc7d68746c5471e87bb74909c552e98644 (patch)
treebaba7c3cffba029f50dd20934ec490ae9d8fa255 /src/aterm-helper.pl
parentc791e94aee07ad98ec29df18498ad85241e1e96d (diff)
* Use a linked list of substitutions. This reduces the amount of
  copying.

Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions