Sat Apr 04 16:08:26+0200 2020
d8e598a
| name | last commit | date |
 build/ | Add a plugin.xml to the maven-resources-plugin. | Sun Jul 28 19:35:21+0200 2019 |
| packages/ | Remote nonfree software, make it a free software only repo as it is useful to others | Sat Apr 04 16:08:26+0200 2020 |