diff options
author | Automated System <[email protected]> | 2020-05-28 14:35:59 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2020-05-28 14:35:59 +0000 |
commit | 020d3820f75412a6380893f1122c44ab389a269f (patch) | |
tree | 011b0881b75a0fdd882100f1e3d778408836c092 /main/dependencies | |
parent | a0fed4f4b3d06f9a53c7225b7ab180900803f924 (diff) | |
download | tde-020d3820f75412a6380893f1122c44ab389a269f.tar.gz tde-020d3820f75412a6380893f1122c44ab389a269f.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 1d187803fbd6f9ad7270cf3365f32a5a9e37d0c +Subproject 898fd0ee7a1d1c56cb4ac2c0794c90540f36d08 |