diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-25T12·19+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-03-25T12·19+0000 |
| commit | 8a10360c912bc344ea9ce7f8871a47a6e036552f (patch) | |
| tree | 09ed76a3e11754ee09c48cd491782848df169063 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions