diff options
author | Automated System <[email protected]> | 2020-04-08 08:48:43 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2020-04-08 08:48:43 +0000 |
commit | 0b4af270e7703cacea92c1ee6fbf10b9fcb90595 (patch) | |
tree | 0280db0778fd916b8bd4541d163a47c62438195d | |
parent | 3b49f3bc79522a63d6215a7ebd8a0c8106bdf028 (diff) | |
download | tde-0b4af270e7703cacea92c1ee6fbf10b9fcb90595.tar.gz tde-0b4af270e7703cacea92c1ee6fbf10b9fcb90595.zip |
Reset submodule main/applications/kile to latest HEAD
m--------- | main/applications/kile | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/applications/kile b/main/applications/kile -Subproject 70eecdb9564bfb68e3a88f507d9f739d80e2271 +Subproject 475aa5e29c0699ebc0027a54d93c244310024d3 |