Thu, 01 Apr 2021 15:51:24 +0200IDE: Add a shortcut to project "Clean" action : F9 svghmi
Edouard Tisserant [Thu, 01 Apr 2021 15:51:24 +0200] rev 3217
IDE: Add a shortcut to project "Clean" action : F9

Wed, 31 Mar 2021 15:30:07 +0200merge svghmi
Edouard Tisserant [Wed, 31 Mar 2021 15:30:07 +0200] rev 3216
merge