diff options
| author | Lucas Gautheron <lucas.gautheron@gmail.com> | 2016-11-03 10:32:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-03 10:32:51 +0100 |
| commit | 743d94a12c62930b2af8916ae72a4c8b5298654e (patch) | |
| tree | c54110495a0ccfa0e908f41654957ffc57076b7b /Agda.gitignore | |
| parent | 7ed8506e9c23d31d946eb0fa39f06423d365743a (diff) | |
| download | gitignore-743d94a12c62930b2af8916ae72a4c8b5298654e.tar.gz gitignore-743d94a12c62930b2af8916ae72a4c8b5298654e.zip | |
TeX: feynMF/feynMP
Diffstat (limited to 'Agda.gitignore')
0 files changed, 0 insertions, 0 deletions