diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-09T12·51+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-09T12·51+0000 |
commit | 27a0662828cb5ac9da198f35754750f12628d546 (patch) | |
tree | 97c126eddaf608e533075af931d75f11816daa1d /aterm-gc.supp | |
parent | 8a9fe6c11c4cf6ae9f3648ece844a8f392fc1cc0 (diff) |
* listToAttrs: the list now should consist of {name, value} attribute
sets instead of {attr, value}. "name" is better than "attr" because the *combination* of the two forms the attribute.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions