# HG changeset patch
# User HackBot
# Date 1476831083 0
# Node ID 80500befd030c5bbe9c6d3f6edb955d298a6d5f0
# Parent  badef10e196597604f129a65d14498e2c867fb23
<hppavilion[1]> rm wisdom/randomized algorithms

diff -r badef10e1965 -r 80500befd030 wisdom/randomized algorithms
--- a/wisdom/randomized algorithms	Tue Oct 18 22:50:32 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Nobody tell hppavilion[1] about randomized algorithms.