Mercurial > repo
log wisdom/real @ 5415:b3db660ef808
age | author | description |
---|---|---|
Sat, 06 Jun 2015 15:56:34 +0000 | HackBot | <oerjan> mv wisdom/{"the reals",real} base wisdom/the reals@aecf0b06f845 |
age | author | description |
---|---|---|
Sat, 06 Jun 2015 15:56:34 +0000 | HackBot | <oerjan> mv wisdom/{"the reals",real} base wisdom/the reals@aecf0b06f845 |