mirror of
https://github.com/pmret/papermario.git
synced 2024-09-19 16:01:48 +02:00
53fac51608
* Remove outdated / unused tools and such from the repo * Remove shtuff from SETUP.md |
||
---|---|---|
.. | ||
lint.yaml | ||
pr.yaml |