diff options
| author | Automated System <[email protected]> | 2019-12-08 17:03:50 +0000 |
|---|---|---|
| committer | TDE Gitea <[email protected]> | 2019-12-08 17:03:50 +0000 |
| commit | 14bad80c9466e7394a5ef43e996b5663eb625537 (patch) | |
| tree | f943240e850409f77ccc57c9696e372afd32bd2c /main/dependencies/arts | |
| parent | dbaafc6b6a70520bc7982a843ae67939358a8080 (diff) | |
| download | tde-14bad80c9466e7394a5ef43e996b5663eb625537.tar.gz tde-14bad80c9466e7394a5ef43e996b5663eb625537.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 a95f91bd535f2805d651dae35bd3757ca403b2d +Subproject ef4a1c768f727d55161c577050d6ac6ffa499ca |