core&ui: support file renaming (#688)

Co-authored-by: undefined <i@undefined.moe>
This commit is contained in:
Milmonandundefined authored and GitHub committed 2023-11-19 21:46:15 +08:00
1 parent 746efef9bf
commit 01cb6944b7
19 files changed
+496 -144

No files matched your search

@@ -107,6 +107,7 @@
</li>
</ol>
{% set sidebar = true %}
{% set can_edit = true %}
{% set filetype = "additional_file" %}
{% include "partials/problem_files.html" %}
</div>