diff options
author | m8pple <dt10@imperial.ac.uk> | 2017-03-06 13:50:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-06 13:50:12 +0000 |
commit | 6baea6b1eeb184ca49f3d2e1961ffd2e43ba8ef4 (patch) | |
tree | ce71f0653f416a35ebbc4c4fed1f093b58d532fb /doc | |
parent | cdd79e06406f8a35106b2f8f579556d6e4b4e0f2 (diff) | |
download | Compiler-6baea6b1eeb184ca49f3d2e1961ffd2e43ba8ef4.tar.gz Compiler-6baea6b1eeb184ca49f3d2e1961ffd2e43ba8ef4.zip |
Note that extra attributes are allowed. Closes #24.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions