| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| manual/ | 2018-01-18 10:00 | - | ||
| release-notes/ | 2018-01-18 10:00 | - | ||
| INSTALL | 2017-12-02 17:52 | 46 | ||
| LICENSE | 2017-12-02 17:52 | 152 | ||
| REPORTING-BUGS | 2017-12-02 17:52 | 290 | ||
| UPGRADE-UNSUPPORTED | 2017-12-02 17:52 | 921 | ||
| UPGRADE | 2017-12-02 17:52 | 5.4K | ||
| IMPORTEXPORT | 2017-12-02 17:52 | 8.0K | ||
| FAQ | 2017-12-02 17:52 | 12K | ||
| RELEASE | 2017-12-02 17:52 | 14K | ||
| COPYING | 2017-12-02 17:52 | 17K | ||