chiark / gitweb /
Merge branch 'makefile' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 Feb 2025 12:52:16 +0000 (12:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 Feb 2025 12:52:16 +0000 (12:52 +0000)
commit32a2065d2b5d3c21e6e8e37012cf4e9bc9238c02
tree68d23389da5431643ff737dc27c87c3c9d9d6e26
parent2465dc5ea6cc69ca731f86ced00dc6e07f9689da
parent740d61c90ea8e3ebfb5b687361b31c4966b3a7c5
Merge branch 'makefile' into 'main'

Makefile: Add + sigil before cargo invocations

See merge request iwj/hippotat!44