| commit | 29e754f5254b07bba2ca285d0b4fd38c70f595eb | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Fri Dec 30 00:50:30 2022 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Fri Dec 30 00:50:30 2022 +0100 |
| tree | 8e6c8f781a1954747dd01ba8a627ced328b55e80 | |
| parent | f5d33b0241cacb9abde6210c690d2bba4f44dfa9 [diff] |
avoid "discouraged" warnings between j.core and j.core.compiler.batch