8 Oct
2007
8 Oct
'07
3:18 a.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.