diff options
author | Automated System <[email protected]> | 2020-05-17 17:09:46 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2020-05-17 17:09:46 +0000 |
commit | f975749fdeb875763b42dd90506344d1243ee0a9 (patch) | |
tree | 8b9f0c0410d99c38e2f63cfd902d136544226278 | |
parent | cda0fa9720c1b64dbbd1efc0acef42ac75a7840d (diff) | |
download | tde-f975749fdeb875763b42dd90506344d1243ee0a9.tar.gz tde-f975749fdeb875763b42dd90506344d1243ee0a9.zip |
Reset submodule main/dependencies/arts to latest HEAD
m--------- | main/dependencies/arts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/dependencies/arts b/main/dependencies/arts -Subproject 8da7963839ad312544f1f1678ffdfd1d40edaac +Subproject 5d5d13b2e415bd38553fa984bf6ffc3cd4083fa |