view wisdom/torus @ 2735:f4a2725a0dcb

<oerjan> sed -i \'s/lines=\\([$].*\\)/lines="\\1"/\' bin/pastelog
author HackBot
date Wed, 17 Apr 2013 22:43:05 +0000
parents c56d618a65d2
children
line wrap: on
line source

Topologically, a torus is just a torus. Taneb invented them.