diff options
| author | Automated System <[email protected]> | 2023-05-13 12:12:42 +0000 |
|---|---|---|
| committer | TDE Gitea <[email protected]> | 2023-05-13 12:12:42 +0000 |
| commit | 12510f34cf2806af88c20b921d150c84cdc3c2ab (patch) | |
| tree | 247386156fcd66f46e8542975352338f7fd59d08 /main/dependencies/arts | |
| parent | 663140537266abb0d0b9e8bc0cd779143862d210 (diff) | |
| download | tde-12510f34cf2806af88c20b921d150c84cdc3c2ab.tar.gz tde-12510f34cf2806af88c20b921d150c84cdc3c2ab.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 c4af0692ce0404b2b4ad4cc6dac8351f19e3e97 +Subproject 87f910f9f91bbdaca0bad36cde98b0179eeab2a |