This website works better with JavaScript.
code
.tokarch.uk
Explore
Help
Sign In
third_party
/
gitea
Watch
1
Star
0
Fork
You've already forked gitea
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
4335
Commits
2
Branches
0
Tags
240 MiB
Tree:
f91cbf0fed
gitea
/
conf
/
gitignore
/
Agda
2 lines
8 B
Raw
Normal View
History
Unescape
Escape
complate list of gitignores and licenses
10 years ago
*.agdai