chiark / gitweb /
Wait, we can match on strings! Much nicer.
authorSimon Tatham <anakin@pobox.com>
Tue, 26 Dec 2023 10:29:18 +0000 (10:29 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 26 Dec 2023 10:29:18 +0000 (10:29 +0000)
commite3ad319ab37a437d91e6bf348b5f438a5bde0ee8
treeb0013900b8f927f3a8dd12892dba8ea4c05df24e
parentc5d74a639c84e22b7df4414bbda5d5e9ed4d211a
Wait, we can match on strings! Much nicer.
src/text.rs