about summary refs log tree commit diff
path: root/aterm-gc.supp
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-07-14T14·58+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-07-14T14·58+0000
commitd413612029ee44628dea3598f3a67042acf05d50 (patch)
tree33b609758740bcb93cb481217a3fb68b69dfa467 /aterm-gc.supp
parent1f169f43b31d02c1fad39df16bb4e61c8cb593df (diff)
* Remove the redundant <sections> around refentries.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions