diff options
author | Automated System <[email protected]> | 2020-06-14 14:34:47 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2020-06-14 14:34:47 +0000 |
commit | b9cf2a1eeebc26acd38dc85bbd80ee3b893546bc (patch) | |
tree | 14d41aa46ec02c9badd519bac68b98976e5737c5 /main | |
parent | c5c318efd85093959e07a18971fa62ac2baf64a8 (diff) | |
download | tde-b9cf2a1eeebc26acd38dc85bbd80ee3b893546bc.tar.gz tde-b9cf2a1eeebc26acd38dc85bbd80ee3b893546bc.zip |
Reset submodule main/dependencies/arts to latest HEAD
Diffstat (limited to 'main')
m--------- | main/dependencies/arts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/dependencies/arts b/main/dependencies/arts -Subproject 831b51f61d9562442a11e1cf898c23b4bd8a2ca +Subproject 8088cafb8b7b7ac1d987033d0cd9f72c99a248a |