diff options
| author |  randomguy3 <dev@randomguy3.me.uk> | 2017-05-06 09:08:44 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-05-06 09:08:44 +0100 |
| commit | e062f70c6d2e981686caa39e44701f7aaa6c66ed (patch) | |
| tree | b22508fe6dc4dab4f3c0c1e4c84793b8c53a597d /java/core/pom.xml | |
| parent | e82d81a8843c1aa99b3d33f5478ac3b8ad127982 (diff) | |
Fix compilation
<: is a digraph, so a space is necessary for compilation on certain compilers.
Diffstat (limited to 'java/core/pom.xml')
0 files changed, 0 insertions, 0 deletions