Rename Makefile to Makefile.old

This commit is contained in:
2022-07-31 13:46:16 +02:00
parent c77e90ab76
commit 633adb50ae
2 changed files with 76 additions and 76 deletions