Il sito funziona meglio con JavaScript.
Home
Esplora
Aiuto
Accedi
mirrors
/
gitignore
mirror da
https://github.com/github/gitignore.git
Segui
1
Vota
0
Forka
0
Codice
Problemi
0
Rilasci
0
Wiki
Attività
Sfoglia il codice sorgente
Add an Idris gitignore
pull/973/head
Ricky Elrod
10 anni fa
parent
2544a6b710
commit
fef9e2d85d
1 ha cambiato i file
con
2 aggiunte
e
0 eliminazioni
Visualizzazione separata
Mostra Diff Stats
2
0
Idris.gitignore
+ 2
- 0
Idris.gitignore
Vedi File
@@ -0,0 +1,2 @@
*.ibc
*.o
Write
Preview
Loading…
Annulla
Salva