chiark / gitweb /
Clip position at the top of the file.
authorSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 18:24:19 +0000 (18:24 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 18:24:19 +0000 (18:24 +0000)
commit31764b2a1737f92e1691d2771403ce4bb898fd49
tree9343bcccf213e7123d02c23ee7fa08fa948588a8
parentba66e880b667b43505fe500f8ba743d4326bb142
Clip position at the top of the file.
src/file.rs