No commit message

UniFormal · Feb 8, 2018 · b877a41 · b877a41
1 parent deaa499
commit b877a41
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/mmt-api/resources/versioning/system.txt b/src/mmt-api/resources/versioning/system.txt
@@ -1 +1 @@
-9.0.0
+10.0.0
diff --git a/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/actions/ActionHandling.scala b/src/mmt-api/src/main/info/kwarc/mmt/api/frontend/actions/ActionHandling.scala
@@ -8,7 +8,6 @@ import objects._
 
 /**
   * An auxilary class to split the [[Controller]] into several files and implement the handling of [[Action]]s.
-  *
   */
 trait ActionHandling extends 
   ArchiveActionHandling with