This repository contains auxiliary files for use by the project maintainers, such as packaging scripts, source material for icons, and census data.
Users should not need to check out these files. Instead:
-
For software downloads and data files, see Regina's main website at https://regina-normal.github.io/ .
-
For the bleeding-edge source code, check out the main repository at https://github.com/regina-normal/regina .
— Ben Burton ([email protected]), Sun, 13 Nov 2016 08:19:03 +1000