Rename all-input-files_Jakarta.zip to all_input_files_Jakarta.zip

XiaogangHe · Jan 27, 2024 · c5d0bee · c5d0bee
1 parent 12d5dce
commit c5d0bee
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/website/static/download-data/all-input-files_Jakarta.zip b/website/static/download-data/all-input-files_Jakarta.zip
diff --git a/website/static/download-data/all_input_files_Jakarta.zip b/website/static/download-data/all_input_files_Jakarta.zip
@@ -0,0 +1 @@
+