diff --git a/main/applications/kile b/main/applications/kile index c73c40b89..7e80b2f86 160000 --- a/main/applications/kile +++ b/main/applications/kile @@ -1 +1 @@ -Subproject commit c73c40b891ca6942040e5c1afb35d1e257be5b31 +Subproject commit 7e80b2f86386adc684866b987fc6adfd3378367b