]> gitweb.ps.run Git - ouroboros-slides/commit
update Makefile
authorpatrick-scho <patrick.schoenberger@posteo.de>
Wed, 16 Jul 2025 10:10:24 +0000 (12:10 +0200)
committerpatrick-scho <patrick.schoenberger@posteo.de>
Wed, 16 Jul 2025 10:10:24 +0000 (12:10 +0200)
commita31e99e5e28da21a35ad7417ee616a79fc931bfa
tree497d3dbe90b05f2d9ebff7704e933bcd8243ba27
parent5d9a55c316272790675109789a9f0ed9e47ba00a
update Makefile
Makefile