Reset submodule main/dependencies/arts to latest HEAD

12 years ago · 3e171918cb
parent 54c643daa2
commit 3e171918cb
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit cc25a2a58e1ca1d4e3a3205cc89d055c950bc76f
+Subproject commit 558e631283c3fa203fc2512ecfa7ba0cef32382a