diff options
author | Automated System <[email protected]> | 2020-05-17 17:35:58 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2020-05-17 17:35:58 +0000 |
commit | 9e3436e7571182ac4ae0c29e50e9554a511385d4 (patch) | |
tree | f74c2e7fbe6318a637f001c7c8f1e9b2091a00f7 /main/dependencies/arts | |
parent | 16b2d121375d31a685a81f02e56d0310b6aba3af (diff) | |
download | tde-9e3436e7571182ac4ae0c29e50e9554a511385d4.tar.gz tde-9e3436e7571182ac4ae0c29e50e9554a511385d4.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 0ba88fc4dee086e465cf94af3e8f252720bf5f0 +Subproject 181b3e78a7b8bd8503029780764fc0b44d51e63 |