Reset submodule main/dependencies/arts to latest HEAD

12 years ago · 51731c923e
parent 0d069530e0
commit 51731c923e
1 changed files with 1 additions and 1 deletions
--- a/main/dependencies/arts
+++ b/main/dependencies/arts
@ -1 +1 @@
-Subproject commit 558e631283c3fa203fc2512ecfa7ba0cef32382a
+Subproject commit f33f81c82139753171a97d8f3be5f4c0bb22d772