Почетна Преглед
Регистрација Пријавите се
SongZihuan
/
GitIgnore
огледало од https://github.com/github/gitignore.git
1
0
Креирај огранак 0
Датотеке Дискусије 0 Вики
Грана: main
Гране Ознаке

Историја ревизија

Аутор SHA1 Порука Датум
  Michael Coblenz d7452bf58f Add MAlonzo directory. (#2978) пре 6 година
  Paolo G. Giarrusso c56761e833 Create Agda.gitignore пре 11 година