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

Tomáš Kelemen (vudiq) 0f4382b4f9 remove unnecessary safe_remove ... these files/folders are excluded in script/install		2022-03-29 21:32:47 +02:00
..
package.mk	remove unnecessary safe_remove	2022-03-29 21:32:47 +02:00