chiark / gitweb /
makelinks script seems to work
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 9 Dec 2015 00:24:52 +0000 (00:24 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 9 Dec 2015 00:24:52 +0000 (00:24 +0000)
commit4cc053b8edfcb949f583c4383243a283e36a61b0
tree31d21b912e27507449e2a8c45de9d1fe5f58a564
makelinks script seems to work
.gitignore [new file with mode: 0644]
Makefile [new file with mode: 0644]
infra/makelinks [new file with mode: 0755]