Guus der Kinderen
|
c85bcadd81
|
Fixes spelling (includes one API change)
Mostly benign changes. Added one new method to replace a method with a spelling mistake in its name. Kept the old method, marked as 'deprecated'.
|
2024-09-11 20:03:43 +02:00 |
|
Florian Schmaus
|
602aafe119
|
[fix-a-javadoc] Modernize, tell xargs to run in parallel
|
2021-05-12 10:14:02 +02:00 |
|
Florian Schmaus
|
70cb9e8a94
|
[resources] Use realpath instead of readlink in fix-java-javadoc.sh
|
2021-04-27 17:01:50 +02:00 |
|
Florian Schmaus
|
6029ba875b
|
fix-a-javadoc.sh: add FailedNonzaException
|
2020-04-04 13:03:36 +02:00 |
|
Florian Schmaus
|
eb4c2c5572
|
s/occured/occurred/
|
2019-10-30 12:02:36 +01:00 |
|
Florian Schmaus
|
1a3067c89b
|
Enable werror for javadoc and fix javadoc issues
|
2019-08-30 12:08:30 +02:00 |
|