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

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