diff options
author | Automated System <[email protected]> | 2023-09-01 08:08:40 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2023-09-01 08:08:40 +0000 |
commit | 5ec070f705b578f7235d3e3810536d7d1d102390 (patch) | |
tree | b5feb08c3131352c1ab0d848ff39ecb9986fd920 /main/dependencies/arts | |
parent | 1c8272889eef6c472bcc5ee0da4a51ba189af240 (diff) | |
download | tde-5ec070f705b578f7235d3e3810536d7d1d102390.tar.gz tde-5ec070f705b578f7235d3e3810536d7d1d102390.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 8412f6e6d17277f1b96afa3a7353c3ba8e19fb1 +Subproject 0f8861a034e3cadff8039330624a41879ed8018 |