Начало Каталог
Регистрация Вход
SongZihuan
/
GitIgnore
огледало от https://github.com/github/gitignore.git
1
0
Разклонения 0
Файлове Задачи 0 Уики
ИН на ревизия: 6b4026c2f0
Клонове Маркери
GitIgnore
/
Idris.gitignore

Idris.gitignore 43 B
История Директен файл

1234567 
  1. # Idris 2
    2. 

  2. *.ttc
    3. 

  3. *.ttm
    4. 

  4. 

  5. # Idris 1
    6. 

  6. *.ibc
    7. 

  7. *.o
    8.