Sun Oct 25 20:34:09+0100 2020
2e8f26d
| name | last commit | date |
 build/ | Add a plugin.xml to the maven-resources-plugin. | Sun Jul 28 19:35:21+0200 2019 |
| packages/ | Remove anki that is merged and add arc | Sun Oct 25 20:34:09+0100 2020 |
Sun Oct 25 20:34:09+0100 2020
2e8f26d
| name | last commit | date |
| build/ | Add a plugin.xml to the maven-resources-plugin. | Sun Jul 28 19:35:21+0200 2019 |
| packages/ | Remove anki that is merged and add arc | Sun Oct 25 20:34:09+0100 2020 |