From a83059f6e7e3d15265c895412cfe68dd00372f8f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sl=C3=A1vek=20Banko?= Date: Tue, 5 Mar 2013 01:50:23 +0100 Subject: Fix unintended rename of grafitdefile* --- main/applications/kile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main/applications/kile') diff --git a/main/applications/kile b/main/applications/kile index f6f6c0226..c421e9e2a 160000 --- a/main/applications/kile +++ b/main/applications/kile @@ -1 +1 @@ -Subproject commit f6f6c0226c4f8c771c8991a6160d8be1ceb1a934 +Subproject commit c421e9e2a9d3a0740930042d89a304a783676b75 -- cgit v1.2.1