2012-10-09 tuned
Christian Urban <urbanc@in.tum.de> [Tue, 09 Oct 2012 21:19:47 +0100] rev 23
tuned
2012-10-09 added
Christian Urban <urbanc@in.tum.de> [Tue, 09 Oct 2012 13:34:30 +0100] rev 22
added
2012-10-05 one more case
Christian Urban <urbanc@in.tum.de> [Fri, 05 Oct 2012 16:26:04 +0100] rev 21
one more case
2012-10-04 added
Christian Urban <urbanc@in.tum.de> [Fri, 05 Oct 2012 00:40:52 +0100] rev 20
added
2012-10-04 tuned
Christian Urban <urbanc@in.tum.de> [Thu, 04 Oct 2012 09:07:43 +0100] rev 19
tuned
2012-10-04 added
Christian Urban <urbanc@in.tum.de> [Thu, 04 Oct 2012 09:07:33 +0100] rev 18
added
(0) -10 -6 +6 +10 +30 +100 +300 tip