File History

data/github/Agda.gitignore in forgitter

3 total files

forgitter-0.0.1 to forgitter-0.0.5 (5 versions)

Not present

forgitter-0.0.6 to forgitter-0.0.12 (7 versions)

Download

forgitter-0.1.0 to forgitter-0.1.4 (5 versions)

Download
Diff with previous