about summary refs log tree commit diff
path: root/aterm-gc.supp
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-12-03T16·10+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-12-03T16·10+0000
commitff762fb499be220ccd680f3bf68dca44a902a5ff (patch)
tree02f738ec60517e3eadd5b0a2bc2fe5c19c3d954c /aterm-gc.supp
parent1307b222239da8e503d22ad9316789e30b4e2431 (diff)
* Pass HashType values instead of strings.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions