update to current state

2023-05-31 09:41:56 +02:00 · 2023-05-31 09:41:56 +02:00 · 29a300d178
commit 29a300d178
parent a2c0309893
2 changed files with 4 additions and 0 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -7186,3 +7186,6 @@
 [submodule "docbook-toys"]
 	path = docbook-toys
 	url = ../../pool-internal/docbook-toys
+[submodule "gnu-compilers-hpc"]
+	path = gnu-compilers-hpc
+	url = ../../pool/gnu-compilers-hpc
--- a/1
+++ b/1
@ -0,0 +1 @@
+Subproject commit 7bad2874b9f70e874d04cee3e1fb2c91d51f0d1f
				`@ -0,0 +1 @@`
				`Subproject commit 7bad2874b9f70e874d04cee3e1fb2c91d51f0d1f`