jprdonnelly/papermario
1
0
Fork 0
mirror of https://github.com/pmret/papermario.git synced 2025-12-22 19:23:36 -05:00
Code Issues Packages Projects Releases Wiki Activity
2,707 Commits 6 Branches 0 Tags
main
Commit Graph

2 Commits

Author SHA1 Message Date
Marijn van der Werf
5511e18133 Clean executable files (#1047) 
* Mark headers as non-executable

* Update shebangs
 2023-05-04 18:03:02 +09:00
Alexander Faßbender
76c7e51f4a Update and move tools (#596) 
* update scripts and move outdated ones to /old/

* updates

* resolve issues
 2022-01-02 13:10:49 +01:00