Morph MORPH
SIGN IN SIGN UP
github / gitignore UNCLAIMED

A collection of useful .gitignore templates

0 0 1 Ignore List

COMMITS

/ Idris.gitignore
bf0e0fdbfbf48930a02b631447a3919672631e66
March 15, 2021
K
Update .gitignore for Idris 2
Kamil Shakirov committed
4c55d7c
February 24, 2014
R
Add an Idris gitignore
Ricky Elrod committed
fef9e2d