diff options
| author | Martin Woodward <martinwoodward@github.com> | 2021-05-09 14:41:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-09 14:41:47 +0100 |
| commit | b3fe09bd7d4647552aa53130aeb16ef33489d4f9 (patch) | |
| tree | 92fe17dcceff517226e4eab598cf020953d1a0fa /Idris.gitignore | |
| parent | 5423fe33d9a71df6ce11150e3fff58b421b2cae9 (diff) | |
| download | gitignore-b3fe09bd7d4647552aa53130aeb16ef33489d4f9.tar.gz gitignore-b3fe09bd7d4647552aa53130aeb16ef33489d4f9.zip | |
Move into community folder
Diffstat (limited to 'Idris.gitignore')
0 files changed, 0 insertions, 0 deletions