diff options
author | Automated System <[email protected]> | 2019-12-08 16:42:52 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2019-12-08 16:42:52 +0000 |
commit | db5553067368466a043ba7472afec5344d7a8779 (patch) | |
tree | b88fdc7c1d07763c9458745dd8ae8b374389cb20 | |
parent | 2fcfa5dbc78bf8b140d4ec4310d9503d1134db9a (diff) | |
download | tde-db5553067368466a043ba7472afec5344d7a8779.tar.gz tde-db5553067368466a043ba7472afec5344d7a8779.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 ce08394cb1f6ca229c869af3537eac7ab8392a8 +Subproject de2fac61c0f68e909c8e1f9615155c821187916 |