diff options
| author | Gerd Möllmann <gerd@gnu.org> | 2023-09-30 07:41:19 +0200 |
|---|---|---|
| committer | Gerd Möllmann <gerd@gnu.org> | 2023-09-30 07:41:19 +0200 |
| commit | 9a3523e7d839fd45180e553c10d2f22475fa30c7 (patch) | |
| tree | a9eab11457cf1ee0f93973a11fbbea155c2fce93 /java/org/gnu | |
| parent | 64c58011b7a626dabbb2bc302cd25769f039e3ed (diff) | |
; Fix a glob in .clangd
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions