diff options
| author | henk84 <github@henk.geekmail.org> | 2023-03-06 13:01:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-06 12:01:46 +0000 |
| commit | e68a41a91ee9d80ea4c245da3583d27f923eda65 (patch) | |
| tree | 485c46f71f09546eb0903dd4f73d5152683f611b /src/opertype.cpp | |
| parent | 26f846e11233055cbb027a77c3c03a4cf6ab0663 (diff) | |
Make language/update.sh safer, faster, cleaner.
Ref: #308
Co-authored-by: Hendrik Jäger <gitcommit@henk.geekmail.org>
Diffstat (limited to 'src/opertype.cpp')
0 files changed, 0 insertions, 0 deletions