diff options
author | Automated System <[email protected]> | 2019-01-12 18:43:53 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2019-01-12 18:43:53 +0000 |
commit | b7a207d8c84a76b2e1be831615b375d99a3838c3 (patch) | |
tree | 3389e7e85aa8a74d86c42b49966f890fe2f39a8c /main/dependencies | |
parent | f588ded999fd2338bd3ef6b0e409b3003fcb89a1 (diff) | |
download | tde-b7a207d8c84a76b2e1be831615b375d99a3838c3.tar.gz tde-b7a207d8c84a76b2e1be831615b375d99a3838c3.zip |
Reset submodule main/dependencies/arts to latest HEAD
Diffstat (limited to 'main/dependencies')
m--------- | main/dependencies/arts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/dependencies/arts b/main/dependencies/arts -Subproject ad65b874d01805eccb6071f31ae99f752d6ab97 +Subproject b84a7d97ac0a390d96c7346633574157edd2367 |