diff options
author | Jakob Odersky <jodersky@gmail.com> | 2013-02-26 16:54:26 +0100 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2013-02-26 16:54:26 +0100 |
commit | 03edd62b745f225075fab0d96e0ec93f96c3466c (patch) | |
tree | 10e19340c33063fb8d70b5937fb3d2120e372cf5 /specification/.gitignore | |
parent | e8e5650006961593559b57176c4d2916b5c32d4e (diff) | |
download | ace-03edd62b745f225075fab0d96e0ec93f96c3466c.tar.gz ace-03edd62b745f225075fab0d96e0ec93f96c3466c.tar.bz2 ace-03edd62b745f225075fab0d96e0ec93f96c3466c.zip |
a little documentation
Diffstat (limited to 'specification/.gitignore')
0 files changed, 0 insertions, 0 deletions