Sun, 21 Aug 2022 19:28:43 +0200Windows installer: remove useless shortcuts.
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 21 Aug 2022 19:28:43 +0200] rev 102
Windows installer: remove useless shortcuts.