aboutsummaryrefslogtreecommitdiff
path: root/specification/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* move specification out of latex subdirectoryJakob Odersky2013-02-261-0/+5
* write specificationJakob Odersky2013-02-261-1/+0
* initial commitJakob Odersky2013-02-251-0/+1