chiark / gitweb /
update rules
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 28 Jul 2020 20:14:23 +0000 (21:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 28 Jul 2020 20:14:45 +0000 (21:14 +0100)
commite9b49aec2a2770e4dce21bdf0be26ec1a8581d8c
tree3a2ba43a2f7346f3c059f4659537be74cfc28e62
parent896dc66f9376b400254782c32b3ed11752d5cf69
update rules
src/global.rs