diff --git a/main/applications/kile b/main/applications/kile index f94112c67..9714f34d8 160000 --- a/main/applications/kile +++ b/main/applications/kile @@ -1 +1 @@ -Subproject commit f94112c67fa78f6f87e7e99d273cc4b0cc6adf36 +Subproject commit 9714f34d8cd2759093fa60cef7be43b633870a76