chiark / gitweb /
Remove src/run
authorAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:28:46 +0000 (13:28 +0200)
committerAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:32:26 +0000 (13:32 +0200)
commit4403aade8da280687d93182792b8284f0c17da06
tree3e87a5e529a1af6225d935278ca1529bd01fa5b7
parentbae6202443defd77c4686f1a8291a85a5395393b
Remove src/run
src/run/Makefile [deleted symlink]
src/run/run.c [deleted file]