Mantis, the IRC bot found in the #unvanquished(-dev) channels on Freenode, has moved to GitLab.
This repository was archived by the owner on Jun 5, 2018. It is now read-only.
mjstahlberg/Mantis
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|