Rename bin files to the new standard (#139)

* Update release.yml
* Update genfilelist.py
* Rename files
* Create .gitignore
This commit is contained in:
Jonas Niesner
2023-09-27 08:33:32 +02:00
committed by GitHub
parent 29b8c9bc21
commit 7fe4a1e6ad
26 changed files with 24 additions and 24 deletions

1
binaries/.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
!*.bin