diff options
| author | Automated System <[email protected]> | 2018-07-04 15:14:37 -0500 |
|---|---|---|
| committer | Automated System <[email protected]> | 2018-07-04 15:14:37 -0500 |
| commit | 5851de2855e03040f3c6894166d8ef1fe92e5597 (patch) | |
| tree | 1badafcccd0c106fc190dfd836437c21b9649617 | |
| parent | 6fb554d4edc2fdd83f83256b12aae6efc354d1dd (diff) | |
| download | tde-5851de2855e03040f3c6894166d8ef1fe92e5597.tar.gz tde-5851de2855e03040f3c6894166d8ef1fe92e5597.zip | |
Reset submodule main/dependencies/arts to latest HEAD
| m--------- | main/dependencies/arts | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/dependencies/arts b/main/dependencies/arts -Subproject 5d9981995e34d44da2a1b236de4a7594fbe183a +Subproject c1b7409de9bfd0c63c662b38b007d99dbb442d3 |