chiark / gitweb /
rename some files
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 7 Mar 2019 17:46:23 +0000 (17:46 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 7 Mar 2019 17:46:23 +0000 (17:46 +0000)
commitaba7ded9f481d104c8b6d913d10f3617c6242918
tree6a14b26b395669e626f93f88e2212c9c3f5204f4
parent7550684e66d47fcae424a83f2c9ce969b8d4828d
rename some files
.gitignore
Makefile