log wisdom/real @ 9302:ee570e73c8d9

age author description
Thu, 18 Jun 2015 05:10:12 +0000 HackBot <shachaf> revert
Thu, 18 Jun 2015 05:09:47 +0000 HackBot <shachaf> ` sed -i \'s/overt //\' wisdom/real
Thu, 18 Jun 2015 00:54:42 +0000 HackBot <shachaf> ` sed -i \'s/a /an overt /\' wisdom/real
Sat, 06 Jun 2015 16:00:42 +0000 HackBot <shachaf> ` sed -i \'s/\\..*/./\' wisdom/real
Sat, 06 Jun 2015 15:56:34 +0000 HackBot <oerjan> mv wisdom/{"the reals",real} base wisdom/the reals@aecf0b06f845