diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-25 12:19:41 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-25 12:19:41 +0000 |
commit | 8a10360c912bc344ea9ce7f8871a47a6e036552f (patch) | |
tree | 09ed76a3e11754ee09c48cd491782848df169063 /make | |
parent | 7482349fe8ba9f285f6c7e53d8573fc367ecff8b (diff) |
* Simplify @-patterns: only `{attrs}@name' or `name@{attrs}' are now
allowed. So `name1@name2', `{attrs1}@{attrs2}' and so on are now no
longer legal. This is no big loss because they were not useful
anyway.
This also changes the output of builtins.toXML for @-patterns
slightly.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions