Adds a missing dot

Echtzeitsysteme · Oct 15, 2024 · 2867890 · 2867890
1 parent d545538
commit 2867890
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/content/dev/index.md b/content/dev/index.md
@@ -7,7 +7,7 @@ draft: false
 **GIPS** is developed at the [Real-Time Systems Lab, TU Darmstadt](https://www.es.tu-darmstadt.de/en/) (TUDa).
 You can find the list of contributors on the [GIPS developer page](../dev-team).
 
-The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips) and it is based on [eMoflon::IBeX](https://emoflon.org/ibex/)
+The source code of **GIPS** is available at our [GitHub repository](https://github.com/Echtzeitsysteme/gips) and it is based on [eMoflon::IBeX](https://emoflon.org/ibex/).
 
 
 **GIPS**-specific development workspace set-up steps are available in the [README.md file](https://github.com/Echtzeitsysteme/gips#installation-development) of the [GIPS repository](https://github.com/Echtzeitsysteme/gips).