rename dist batch files so mistakes are less likely.
This commit is contained in:
parent
afbce436cd
commit
09a9bfbc2f
Loading…
Reference in New Issue