diff options
| author | Fabrizio Brancati <fabrizio.brancati@gmail.com> | 2017-01-24 11:16:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-24 11:16:40 +0100 |
| commit | ad446600de3a4f8bcb75283594a3d70c10406c24 (patch) | |
| tree | 06af1751a3baff3b64c0ca385a76e6a8718bffd3 /Agda.gitignore | |
| parent | af2010cc3984ee14dac7adde5395aac2c91c3594 (diff) | |
| download | gitignore-ad446600de3a4f8bcb75283594a3d70c10406c24.tar.gz gitignore-ad446600de3a4f8bcb75283594a3d70c10406c24.zip | |
Updating Swift.gitignore with Package.pins
Diffstat (limited to 'Agda.gitignore')
0 files changed, 0 insertions, 0 deletions