mirror of
https://github.com/apprenticeharper/DeDRM_tools
synced 2024-12-27 09:58:59 +01:00
Merge pull request #1170 from Dr-Willy/master
Fix path in make_release.py
This commit is contained in:
commit
9118ce77ab