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