diff options
| author | Automated System <[email protected]> | 2023-01-10 15:12:14 +0000 |
|---|---|---|
| committer | TDE Gitea <[email protected]> | 2023-01-10 15:12:14 +0000 |
| commit | daedc599e056f0822e5e0df85c142e93ab179200 (patch) | |
| tree | 9fd1e2f952f8db7a7f9287cfa9ee1e0ab95a7ed5 /main/dependencies | |
| parent | 0e6e66f2dae952cafa370da78e7519d6253bb37c (diff) | |
| download | tde-daedc599e056f0822e5e0df85c142e93ab179200.tar.gz tde-daedc599e056f0822e5e0df85c142e93ab179200.zip | |
Reset submodule main/dependencies/arts to latest HEAD
Diffstat (limited to 'main/dependencies')
| m--------- | main/dependencies/arts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/dependencies/arts b/main/dependencies/arts -Subproject 10a05109432154e8392294d2aeb2605b3fc6dda +Subproject e315e7557cc069d1bd72cd3845897c6f4818aeb |