make dev executable

This commit is contained in:
Georg Gadinger 2023-01-05 10:14:12 +01:00
parent b728c494d7
commit 37c08aa46b
1 changed files with 0 additions and 0 deletions

0
bin/dev Normal file → Executable file
View File