Morph MORPH
SIGN IN SIGN UP
github / gitignore UNCLAIMED

A collection of useful .gitignore templates

0 0 0 Ignore List

COMMITS

/ Agda.gitignore
45bc1aeeac89a7efe6011baa5985f8459727b2ed
August 15, 2013
P
Create Agda.gitignore
Paolo G. Giarrusso committed
c56761e