mirror of https://github.com/pmret/papermario.git
![]() * Remove outdated / unused tools and such from the repo * Remove shtuff from SETUP.md |
||
---|---|---|
.. | ||
lint.yaml | ||
pr.yaml |
![]() * Remove outdated / unused tools and such from the repo * Remove shtuff from SETUP.md |
||
---|---|---|
.. | ||
lint.yaml | ||
pr.yaml |