diff options
| author | Automated System <[email protected]> | 2018-05-08 16:44:17 -0500 |
|---|---|---|
| committer | Automated System <[email protected]> | 2018-05-08 16:44:17 -0500 |
| commit | 2c92daad093b6422037579710d289c073fbd4a12 (patch) | |
| tree | 230df6e55c7783ed43a28a32f867a9ed2a0e08d0 /main/dependencies/arts | |
| parent | f2fcb625aa6e37480969ecbe8bcdb0c88a945245 (diff) | |
| download | tde-2c92daad093b6422037579710d289c073fbd4a12.tar.gz tde-2c92daad093b6422037579710d289c073fbd4a12.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 8a5f9a519786cbd1fbfd19ef7dab48a92c54035 +Subproject e1c70d2fa2915a94f3f88914313037625c5f738 |