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