changes in .conf file

bmw-software-engineering · Jul 24, 2024 · d532aa3 · d532aa3
1 parent e02347b
commit d532aa3
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/specification-manual/lobster-trlc.conf b/specification-manual/lobster-trlc.conf
@@ -1,9 +0,0 @@
-SM.Text {
-  description = text
-  description = bullets
-  just_down = untraced_reason
-}
-
-LRM.Grammar {
-  description = bnf
-}