Reset submodule main/dependencies/arts to latest HEAD

12 years ago · ef13c378de
parent d33b08c911
commit ef13c378de
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit f170f6b9baea115e64b601ff4862c18e17ce5b83
+Subproject commit 193b28e43a8c3efaa79fb96c1b7821c7c0d3bb4b