chiark / gitweb /
EditorHeaderSeparator, which is really easy
authorSimon Tatham <anakin@pobox.com>
Sun, 24 Dec 2023 21:48:03 +0000 (21:48 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 24 Dec 2023 21:48:03 +0000 (21:48 +0000)
commitb7c067cb86c1b5a9a83dd8a83128310e6f84337b
tree271da914d73708721a9dd4f70e1fddbce16701b9
parent4b3e2030dbbee2aef423b4fc4993721c49f27d2e
EditorHeaderSeparator, which is really easy
src/text.rs