chiark / gitweb /
Add a file header!
authorSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 18:31:50 +0000 (18:31 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 18:31:50 +0000 (18:31 +0000)
commita5792de93853a7ced8889675f748fff62b3cb3ed
tree0a1f22452113a24ecf756e99690b0e7d53c12674
parent31764b2a1737f92e1691d2771403ce4bb898fd49
Add a file header!
src/file.rs