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