diff options
| author | Michael Albinus <michael.albinus@gmx.de> | 2023-01-25 15:31:33 +0100 |
|---|---|---|
| committer | Michael Albinus <michael.albinus@gmx.de> | 2023-01-25 15:31:33 +0100 |
| commit | 9a21cb107516d45a5b1ca43e4204f2c93cbf12fd (patch) | |
| tree | 960b57f09cb1cb7aa74db43447cba85ad4c5e9ed /java/org/gnu | |
| parent | f30a4f51fefa7251386d7393920a082f3830bcac (diff) | |
; * etc/NEWS: Fix typos.
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions