# HG changeset patch # User Christian Urban # Date 1363019874 0 # Node ID 0f76f481dbb5b9fa2773a7428be23bfe216fa226 # Parent 024d07886de86a5b9e01f9cde6688fa312b8a3e7 tuned diff -r 024d07886de8 -r 0f76f481dbb5 README --- 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: =====================