commit | a398cba7679a1a6e0591b6b227f107fdb19d7b6d | [log] [tgz] |
---|---|---|
author | Jan Lahoda <lahoda@gmail.com> | Sun Mar 17 23:02:24 2019 +0100 |
committer | GitHub <noreply@github.com> | Sun Mar 17 23:02:24 2019 +0100 |
tree | 5b4d6d175e2074024d695d75c1d0ad71ef08bddb | |
parent | 1213569162c5717a19605e77460676e4282c0770 [diff] |
Fixing the maven plugin for jackpot; various related improvements.