diff options
author | Automated System <[email protected]> | 2020-12-07 04:07:22 +0000 |
---|---|---|
committer | TDE Gitea <[email protected]> | 2020-12-07 04:07:22 +0000 |
commit | 37231b7ef08ba7cf049ea9927ab618078ddf9db9 (patch) | |
tree | d4ba4650c6c9ab17c8935a68775a3c925880d44f | |
parent | 3e5234a78acbeef4529369e512f78eae03c22989 (diff) | |
download | tde-37231b7ef08ba7cf049ea9927ab618078ddf9db9.tar.gz tde-37231b7ef08ba7cf049ea9927ab618078ddf9db9.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 f4789045f8b1f8f5fceab3373830136b3071238 +Subproject 946b33ee2b30854344d07e903797df819637cc9 |