Thomas Waldmann 84df37a19f use less setup.py, use pip and build ... todo: clean clean2 build_usage build_man		2023-12-24 20:50:19 +01:00
..
development.lock.txt	use less setup.py, use pip and build	2023-12-24 20:50:19 +01:00
development.txt	use less setup.py, use pip and build	2023-12-24 20:50:19 +01:00
docs.txt	docs: switch to a fresher theme	2017-06-18 01:27:29 +02:00