diff options
| author | Charles Lombardo <clombardo169@gmail.com> | 2023-11-24 22:59:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-24 22:59:55 -0500 |
| commit | 5a182f4e7ccfac696cd54542089c880d002f5cc9 (patch) | |
| tree | e1bcd72f38f4f57ff6b915022268b0feb86a7937 /externals/simpleini | |
| parent | 093eb075a686d3584f59b129a200c2652a5cdb10 (diff) | |
| parent | dda187d300de379abc4f4e17b5fd73a4eed8d956 (diff) | |
Merge pull request #11889 from t895/ini-lib
configuration: Unify config handling across frontends
Diffstat (limited to 'externals/simpleini')
| m--------- | externals/simpleini | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/externals/simpleini b/externals/simpleini new file mode 160000 +Subproject 382ddbb4b92c0b26aa1b32cefba2002119a5b1f |