chiark / gitweb /
Remove src/update-done
authorAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:28:47 +0000 (13:28 +0200)
committerAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:32:27 +0000 (13:32 +0200)
commitde32072e511b4aaf584bcdd11c07972d2d6035b3
tree36cef64c0fb9f122b4b184b37d711cb1919ed7c7
parent030329f5dcf08fd0a94c8ad6a54836d38ffe2f43
Remove src/update-done
src/update-done/Makefile [deleted symlink]
src/update-done/update-done.c [deleted file]