This website works better with JavaScript
Главная
Обзор
Помощь
Вход
johnalex0
/
aircanadaflight
Следить
1
В избранное
0
Ответвить
0
Файлы
Обсуждения
37
Запросы на слияние
0
Вики
Дерево:
553baf77c6
Ветки
Метки
master
aircanadafli...
/
.gitignore
.gitignore
84 B
История
Исходник
1
2
3
4
5
6
7
8
9
10
# ---> Ada
# Object file
*.o
# Ada Library Information
*.ali
# ---> Agda
*.agdai