Add clean-doc to the index; update path of clean-test-properties

edc2de73 · Camil Staps · aeeb6449 · edc2de73
Verified Commit edc2de73 authored Oct 11, 2018 by Camil Staps
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

libs.json libs.json +8 -0

No files found.
--- a/libs.json
+++ b/libs.json
@@ -70,6 +70,7 @@
 			"name": "clean-test-properties",
 			"fetch_url": ["Git", "https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties"],
 			"info_url": "https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties/",
+			"path": "src",
 			"pattern_app": [["PWildcard"]]
 		},
 		{
@@ -118,6 +119,13 @@
 			"fetch_url": ["Git", "https://gitlab.science.ru.nl/mlubbers/CleanSerial"],
 			"info_url": "https://gitlab.science.ru.nl/mlubbers/CleanSerial"
 		},
+		{
+			"name": "clean-doc",
+			"fetch_url": ["Git", "https://gitlab.science.ru.nl/cstaps/clean-doc"],
+			"info_url": "https://gitlab.science.ru.nl/cstaps/clean-doc/",
+			"path": "src",
+			"pattern_app": [["PWildcard"]]
+		},
 		{
 			"name": "clean-irc",
 			"fetch_url": ["Git", "https://github.com/clean-cloogle/clean-irc"],