Reset submodule main/dependencies/arts to latest HEAD

8 years ago · 1208c11a6c
parent 2278eb74ec
commit 1208c11a6c
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 9600c588eed4c93aa44fad1ba1beec24abc55032
+Subproject commit 4ae14c6b10fd7387df34bd92636d51cf162df80d