view wisdom/integer @ 7308:d1aa70ebc80c

<oerjan> ` sed -i \'s/$/./\' wisdom/patch
author HackBot
date Tue, 29 Mar 2016 01:46:56 +0000
parents dd3fd90886c8
children
line wrap: on
line source

An integer is a number that does not contain a wildcard that matches any character other than a line feed.