mirror of
https://github.com/pmret/papermario.git
synced 2024-09-20 00:11:48 +02:00
de800e9c9f
* add process_scripts.py * mass evt rename |
||
---|---|---|
.. | ||
c_cpp_properties.json | ||
extensions.json | ||
settings.json | ||
tasks.json |