aboutsummaryrefslogtreecommitdiff
path: root/specification/.gitignore
Commit message (Collapse)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