chiark / gitweb /
Some infrastructure towards edge hints
authorBen Harris <bjh21@bjh21.me.uk>
Sat, 16 Nov 2024 23:33:30 +0000 (23:33 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Sat, 16 Nov 2024 23:33:30 +0000 (23:33 +0000)
commit1ad04e13fa255e46395c022fdc8697fbc4c91851
tree84fd5d084369f4392a7ac099fcd4c9793d1ab0d6
parent30d226f30ffff00aac58aaa44101239a0535474e
Some infrastructure towards edge hints

There are places to record them now, but they're ignored by
select_hints() and emit_hints().
bedstead.c