diff options
author | Automated System <[email protected]> | 2020-05-28 14:10:03 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2020-05-28 14:10:03 +0000 |
commit | b80a803eb5bbbcd21a283dc00f36382961dc489a (patch) | |
tree | 3cf3ca555f3823aa77b683b962cf8795e4335aa4 /main/dependencies/arts | |
parent | 027b09065367b30c8855dbeaea90e81963dc170f (diff) | |
download | tde-b80a803eb5bbbcd21a283dc00f36382961dc489a.tar.gz tde-b80a803eb5bbbcd21a283dc00f36382961dc489a.zip |
Reset submodule main/dependencies/arts to latest HEAD
Diffstat (limited to 'main/dependencies/arts')
m--------- | main/dependencies/arts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/dependencies/arts b/main/dependencies/arts -Subproject b9baf9d1a8a4d913e483fbe15a7a296adb9eaf5 +Subproject 879b0cc7e0e05aaa2dd82d2b313ad035aae3bff |