dni ⚡ 0dffb2c1a0
moving build file into tools, keep rootdir clean (#1434)
* moving build file into tools, keep rootdir clean

* formatting

* make flake happy
2023-02-01 17:19:56 +01:00
..
2023-01-10 14:39:27 +00:00
2020-04-23 18:42:27 +02:00
2023-01-04 11:11:03 +01:00