Will Estes - 2015-11-18
  • Description has changed:

Diff:

--- old
+++ new
@@ -1,4 +1,4 @@
-I wanted to begin a namespace in one %top block and end it in another, but there doesnt seem to be a way to do this: For example,
+    I wanted to begin a namespace in one %top block and end it in another, but there doesnt seem to be a way to do this: For example,

 %top \{
 namespace \{
  • Group: --> 2.6.0