# HG changeset patch
# User HackBot
# Date 1519783968 0
# Node ID 1a704a01ebeb5908d9b97d8c5672338cd86bae0d
# Parent  16fa2a3ed6dedf5080d7f9906bb9df85dfb754e9
<wob_jonas> `` forget hypo integer

diff -r 16fa2a3ed6de -r 1a704a01ebeb wisdom/hypo
--- a/wisdom/hypo	Wed Feb 28 02:09:12 2018 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Hypo is potamus.
diff -r 16fa2a3ed6de -r 1a704a01ebeb wisdom/integer
--- a/wisdom/integer	Wed Feb 28 02:09:12 2018 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-An integer is a number that does not contain a wildcard that matches any character other than a line feed.