# HG changeset patch
# User HackBot
# Date 1450541253 0
# Node ID dd3fd90886c891f556107775a50fbbe5dc5f02cb
# Parent  21468a9782c3caa44dc6c307e7358ecd514a131a
<b_jonas> le/rn integer/An integer is a number that does not contain a wildcard that matches any character other than a line feed.

diff -r 21468a9782c3 -r dd3fd90886c8 wisdom/integer
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/integer	Sat Dec 19 16:07:33 2015 +0000
@@ -0,0 +1,1 @@
+An integer is a number that does not contain a wildcard that matches any character other than a line feed.