Morph MORPH
SIGN IN SIGN UP
github / gitignore UNCLAIMED

A collection of useful .gitignore templates

0 0 152 Ignore List

COMMITS

/ Idris.gitignore
copilot/research-pr-4811-analysis
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