chmod +x build_directory_md.py (#679)

* chmod +x build_directory_md.py

* updating DIRECTORY.md
This commit is contained in:
Christian Clauss
2019-12-07 08:29:25 +01:00
committed by GitHub
parent a7f981508f
commit 2458fea1da
2 changed files with 151 additions and 1 deletions

0
.github/scripts/build_directory_md.py vendored Normal file → Executable file
View File