diff options
| author | Automated System <[email protected]> | 2018-12-18 14:15:34 +0000 |
|---|---|---|
| committer | TDE Gitea <[email protected]> | 2018-12-18 14:15:34 +0000 |
| commit | 9521402236ffab4a15a0c843285773d1fb443202 (patch) | |
| tree | 704955e22782f25efac88acf9704c10b4a538019 /main/dependencies/arts | |
| parent | dbf63d52f81d1997c7e0302780d58931871b015b (diff) | |
| download | tde-9521402236ffab4a15a0c843285773d1fb443202.tar.gz tde-9521402236ffab4a15a0c843285773d1fb443202.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 0ecfff93dc4bcdc233e937928049538c49dbd7a +Subproject ad65b874d01805eccb6071f31ae99f752d6ab97 |