7 Oct
2007
7 Oct
'07
3:18 p.m.
Sun Oct 7 15:06:21 EDT 2007 gwern0@gmail.com * update NoBorders.hs configuration documentation It seems 'noBorder full' no longer hacks it.