# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1595171405 14400
# Node ID 7514d616f50275d26fe7e7bc682955fe89dd473d
# Parent  c303df088e291416a7199c7665df39f45dd43ea3
Remove unused directory

diff -r c303df088e29 -r 7514d616f502 servers/bin/freqs
--- a/servers/bin/freqs	Sun Jul 19 11:09:33 2020 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-../../bin/freqs
\ No newline at end of file
diff -r c303df088e29 -r 7514d616f502 servers/bin/hist
--- a/servers/bin/hist	Sun Jul 19 11:09:33 2020 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-../../bin/hist
\ No newline at end of file
diff -r c303df088e29 -r 7514d616f502 servers/bin/props
--- a/servers/bin/props	Sun Jul 19 11:09:33 2020 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-../../bin/props
\ No newline at end of file