From aa4aa8a870c7b895a2d219576d49104b21eb36e1 Mon Sep 17 00:00:00 2001
From: Jueun Park <s5616012@mailbox.tu-dresden.de>
Date: Sat, 2 Apr 2022 02:14:25 +0900
Subject: [PATCH] Edited index.md

---
 pages/docs/index.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pages/docs/index.md b/pages/docs/index.md
index b91d138a..1686bf45 100644
--- a/pages/docs/index.md
+++ b/pages/docs/index.md
@@ -43,6 +43,7 @@ There are some implementation details developers must consider:
   ParameterObject : ParameterOb ::= <Name> <In> ...;
  ```
 
+
 - Most objects can be extended with `Extension` containing unfixed name and values. In JastAdd, this is also implemented in a tuple (AST-Node) `Extension ::= <Key> <Value:Object>;`
 
 ## Fuzzing in RAGO
-- 
GitLab