diff options
| author | Fedja Beader <fedja@protonmail.ch> | 2024-05-17 18:01:52 +0200 |
|---|---|---|
| committer | Fedja Beader <fedja@protonmail.ch> | 2024-05-17 18:01:52 +0200 |
| commit | 5570d9d1c2b1b5fba50283ec443088430332bb86 (patch) | |
| tree | 059f68cc39a725a0bc64538e5771ef3525aa6ec6 /src/gui/windows | |
| parent | 95684834ecb45261da1640a4ad8143653698b192 (diff) | |
| download | plus-5570d9d1c2b1b5fba50283ec443088430332bb86.tar.gz plus-5570d9d1c2b1b5fba50283ec443088430332bb86.tar.bz2 plus-5570d9d1c2b1b5fba50283ec443088430332bb86.tar.xz plus-5570d9d1c2b1b5fba50283ec443088430332bb86.zip | |
Fix oddity introduced by 'Download mplint release instead of recompiling
every time'
No error/warning? odd.
Diffstat (limited to 'src/gui/windows')
0 files changed, 0 insertions, 0 deletions