This website works better with JavaScript
Trang chủ
Khám phá
Trợ giúp
Đăng nhập
johnalex0
/
aircanadaflight
Xem
1
Star
0
Fork
0
Các tập tin
Các vấn đề
37
Yêu cầu khéo về
0
Wiki
Branch:
master
Branches
Tags
master
aircanadafli...
/
.gitignore
.gitignore
84 B
Permalink
Lịch sử
Raw
1
2
3
4
5
6
7
8
9
10
# ---> Ada
# Object file
*.o
# Ada Library Information
*.ali
# ---> Agda
*.agdai