This repository has been archived on 2023-03-25. You can view files and clone it, but cannot push or open issues or pull requests.

Mario Voigt 6db9acabfc Improve performance of Remove Empty Groups extension. Thanks to Cyrille ... for commit by email		2022-04-18 19:44:50 +02:00
..
fablabchemnitz	Improve performance of Remove Empty Groups extension. Thanks to Cyrille	2022-04-18 19:44:50 +02:00