diff options
| author | Automated System <[email protected]> | 2020-06-07 14:10:00 +0000 |
|---|---|---|
| committer | TDE Gitea <[email protected]> | 2020-06-07 14:10:00 +0000 |
| commit | dbd7e11124124e7f7307658f035a8b23422fcff5 (patch) | |
| tree | 864822124a25a55e79c67ecc4270ef0449fe9ee2 /main/dependencies/arts | |
| parent | 016a8e280f6e1ef1907b0d07ea6814617afb7784 (diff) | |
| download | tde-dbd7e11124124e7f7307658f035a8b23422fcff5.tar.gz tde-dbd7e11124124e7f7307658f035a8b23422fcff5.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 879b0cc7e0e05aaa2dd82d2b313ad035aae3bff +Subproject cbc3b888de5d841eb34353d28dbc900acaa28bc |