Thu, 10 May 2018 08:33:50 +0200Allow deleting configuration tree node with no corresponding directory in project tree
Edouard Tisserant [Thu, 10 May 2018 08:33:50 +0200] rev 2004
Allow deleting configuration tree node with no corresponding directory in project tree