Sync various changes from other repos & minor updates

This commit is contained in:
2023-11-21 20:14:13 -05:00
parent 3be5e73054
commit 1bcf33638f
10 changed files with 90 additions and 34 deletions

View File

@@ -16,7 +16,6 @@ import os
import platform
import shutil
import stat
import sys
import urllib.request
import zipfile
@@ -52,6 +51,7 @@ def wibo_url(tag):
def compilers_url(tag):
return f"https://files.decomp.dev/compilers_{tag}.zip"
TOOLS = {
"dtk": dtk_url,
"sjiswrap": sjiswrap_url,
@@ -86,4 +86,4 @@ def main():
if __name__ == "__main__":
main()
main()