web: delete unused tool binaries.
authorRusty Russell <rusty@rustcorp.com.au>
Fri, 18 Feb 2011 10:36:59 +0000 (21:06 +1030)
committerRusty Russell <rusty@rustcorp.com.au>
Fri, 18 Feb 2011 10:36:59 +0000 (21:06 +1030)
web/tools/ccanlint [deleted file]
web/tools/create_dep_tar [deleted file]
web/tools/infotojson [deleted file]

diff --git a/web/tools/ccanlint b/web/tools/ccanlint
deleted file mode 100755 (executable)
index f870624..0000000
Binary files a/web/tools/ccanlint and /dev/null differ
diff --git a/web/tools/create_dep_tar b/web/tools/create_dep_tar
deleted file mode 100755 (executable)
index 715fb6b..0000000
Binary files a/web/tools/create_dep_tar and /dev/null differ
diff --git a/web/tools/infotojson b/web/tools/infotojson
deleted file mode 100755 (executable)
index 366a79d..0000000
Binary files a/web/tools/infotojson and /dev/null differ