rename 'make release' into 'make binaries'

2022-09-17 20:15:23 +02:00
parent 7fd749cf0e
commit e70e6084da
5 changed files with 18 additions and 18 deletions
@@ -1,4 +1,4 @@
 /tmp
-/release
+/binaries
 /coverage*.txt
 /apidocs/*.html