Morph MORPH
SIGN IN SIGN UP
github / gitignore UNCLAIMED

A collection of useful .gitignore templates

0 0 1 Ignore List

COMMITS

/ Idris.gitignore
754920b804f212cf4e43425776b3289883af7085
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