Fix Makefile

This commit is contained in:
Johannes Rothe 2024-07-07 22:42:55 +02:00
parent 202284e280
commit deb2dcea29