diff options
| author | Sven Gothel <[email protected]> | 2023-07-10 20:47:14 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-07-10 20:47:14 +0200 |
| commit | 60277196f721875a4114e065fdf1ba24521811be (patch) | |
| tree | cfe484be56f5425e1d44e738268c5df0c8bc0303 /.settings/org.eclipse.jdt.core.prefs | |
| parent | 0ea6688e41c31b0e2c8dba73582c935562885b44 (diff) | |
doc/GlueGen_Mapping.md: Typos 'UserParam' -> 'UserParamClass'
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions