Fri, 27 Nov 2009 02:23:49 +0100 | Christian Urban | renamed REGULARIZE to be regularize | changeset | files |
Thu, 26 Nov 2009 21:16:59 +0100 | Christian Urban | more tuning | changeset | files |
Thu, 26 Nov 2009 21:04:17 +0100 | Christian Urban | deleted get_fun_old and stuff | changeset | files |