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 /.gitmodules | |
| parent | 6fb554d4edc2fdd83f83256b12aae6efc354d1dd (diff) | |
| download | tde-5851de2855e03040f3c6894166d8ef1fe92e5597.tar.gz tde-5851de2855e03040f3c6894166d8ef1fe92e5597.zip | |
Reset submodule main/dependencies/arts to latest HEAD
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions