diff options
| author | Michael Albinus <michael.albinus@gmx.de> | 2023-05-20 14:00:56 +0200 |
|---|---|---|
| committer | Michael Albinus <michael.albinus@gmx.de> | 2023-05-20 14:00:56 +0200 |
| commit | a6bddd176582f8bea79ec77e1e27bb583a6ef0b5 (patch) | |
| tree | 45028dd1afd6f1c8d55490b3c4922f867c06fbbd /java/org | |
| parent | f49fe936abd48f7458596893d25e3300f59508be (diff) | |
; * etc/NEWS: Fix typos.
Diffstat (limited to 'java/org')
0 files changed, 0 insertions, 0 deletions