| .. |
|
src
|
2c41ef8952
Overhaul how errors are reported and how and when their messages are printed.
|
5 years ago |
|
.gitignore
|
bd011f156d
Update JPlag domain: Rename all package namespaces to de.jplag and adapt group ID to de.jplag
|
5 years ago |
|
pom.xml
|
a5d4111637
Ensure consistent formatting of the pom files.
|
5 years ago |