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) 46e407db1e remove unnecessary safe_remove ... these files/folders are excluded in script/install		2022-04-08 00:03:02 +02:00
..
package.mk	remove unnecessary safe_remove	2022-04-08 00:03:02 +02:00