Wed Jun 16 13:18:10+0200 2021
3ad061a
| name | last commit | date |
 build/ | Add a plugin.xml to the maven-resources-plugin. | Sun Jul 28 19:35:21+0200 2019 |
| packages/ | Remove antlr: it was added to guix | Wed Jun 16 13:18:10+0200 2021 |
Wed Jun 16 13:18:10+0200 2021
3ad061a
| name | last commit | date |
| build/ | Add a plugin.xml to the maven-resources-plugin. | Sun Jul 28 19:35:21+0200 2019 |
| packages/ | Remove antlr: it was added to guix | Wed Jun 16 13:18:10+0200 2021 |