This website works better with JavaScript
Головна сторінка
Огляд
Довідка
Увійти
johnalex0
/
aircanadaflight
Слідкувати
1
Зірка
0
Відгалуження
0
Файли
Проблеми
37
Запити на злиття
0
Wiki
Дерево:
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