History

* Fix scripts/packages typings

* Prevent empty packages list when invalid distro

2021-10-17 00:21:22 +02:00

__init__.py

Rename scripts/ to tools/

2021-09-07 23:03:19 +02:00

.pylintrc

Fix tools linting

2021-09-07 23:10:21 +02:00

Makefile

2021-09-13 14:23:04 +02:00

packages_test.py

Fix tools linting

2021-09-07 23:10:21 +02:00

packages.py

2021-10-17 00:21:22 +02:00

python.mk

2021-09-15 19:40:58 +02:00

README.md

Rename scripts/ to tools/

2021-09-07 23:03:19 +02:00

version.sh

2021-09-11 04:55:51 +02:00

Tools

This folder contains scripts/tools to manage the project.