diff options
author | Automated System <[email protected]> | 2019-12-22 17:15:08 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2019-12-22 17:15:08 +0000 |
commit | 2dd64319f8b3432b5f049224c4a61b1e7a5a67c2 (patch) | |
tree | 11a4fef4a584030645c7130d4b44650ae3199fa8 | |
parent | d5022692b4b6490368794493ff7d451a5d3dbb76 (diff) | |
download | tde-2dd64319f8b3432b5f049224c4a61b1e7a5a67c2.tar.gz tde-2dd64319f8b3432b5f049224c4a61b1e7a5a67c2.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 807cdd7a2d240299293f92be7a8e3b6582b1588 +Subproject 8437b0ac700704f761f0b4a6df48f00528f163a |