README
changeset 3212 0f76f481dbb5
parent 3207 d3f7c8cce53b
child 3235 5ebd327ffb96
--- a/README	Mon Mar 11 16:30:45 2013 +0000
+++ b/README	Mon Mar 11 16:37:54 2013 +0000
@@ -15,8 +15,6 @@
 Nominal/Ex    ... examples for new implementation
 
 
-
-
 Other Subdirectories:
 =====================