diff options
| author | Automated System <[email protected]> | 2018-06-22 00:10:09 -0500 |
|---|---|---|
| committer | Automated System <[email protected]> | 2018-06-22 00:10:09 -0500 |
| commit | 205ec75648f9e0abfb9ee4fdf923b7f8c265d3b0 (patch) | |
| tree | 6e2ba1743beb9cff9796b935cd5e72102336d38a /main/dependencies | |
| parent | c3f7f862f078e4e2583ad4144d88fa3e4897920f (diff) | |
| download | tde-205ec75648f9e0abfb9ee4fdf923b7f8c265d3b0.tar.gz tde-205ec75648f9e0abfb9ee4fdf923b7f8c265d3b0.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 e87a9e91573c035845c0a7e892755f4bf83a23b +Subproject 5d9981995e34d44da2a1b236de4a7594fbe183a |