diff options
author | Automated System <[email protected]> | 2019-06-12 15:09:57 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2019-06-12 15:09:57 +0000 |
commit | 42ea34b13abae84c34251bb178f7b01452073b4e (patch) | |
tree | 93a302009e6bd3ffa590577b646e628c7a03dcef /main | |
parent | cd8d2cc0af073acd04bd0456c5d9c1bea5126423 (diff) | |
download | tde-42ea34b13abae84c34251bb178f7b01452073b4e.tar.gz tde-42ea34b13abae84c34251bb178f7b01452073b4e.zip |
Reset submodule main/dependencies/arts to latest HEAD
Diffstat (limited to 'main')
m--------- | main/dependencies/arts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/dependencies/arts b/main/dependencies/arts -Subproject 9035d57d6ef2c7f2e058f7e7973c069216c4d96 +Subproject 9e01acbc0e8de207a85afac515ee73d038b7c08 |