]> gitweb.ps.run Git - ouroboros-slides/commitdiff
update Makefile
authorpatrick-scho <patrick.schoenberger@posteo.de>
Mon, 14 Jul 2025 14:48:43 +0000 (16:48 +0200)
committerpatrick-scho <patrick.schoenberger@posteo.de>
Mon, 14 Jul 2025 14:48:43 +0000 (16:48 +0200)

No differences found