aboutsummaryrefslogtreecommitdiffstats
path: root/Idris.gitignore
diff options
context:
space:
mode:
authorSamy Pessé <samypesse@gmail.com>2014-06-14 11:55:20 +0200
committerSamy Pessé <samypesse@gmail.com>2014-06-14 11:55:20 +0200
commit2a0905488001e06d1881a4f0e9c8e4484437bbe8 (patch)
tree8d374df475630703d7b95844017f5506940969bd /Idris.gitignore
parent8979b22eda9f0a8dc2fb16065472e645819de1b3 (diff)
downloadgitignore-2a0905488001e06d1881a4f0e9c8e4484437bbe8.tar.gz
gitignore-2a0905488001e06d1881a4f0e9c8e4484437bbe8.zip
Create GitBook.gitignore
Diffstat (limited to 'Idris.gitignore')
0 files changed, 0 insertions, 0 deletions