diff options
| -rw-r--r-- | src/kile/quicktoolconfigwidget.ui (renamed from src/kile/quictdetoolconfigwidget.ui) | 0 | ||||
| -rw-r--r-- | src/kile/quicktoolconfigwidget.ui.h (renamed from src/kile/quictdetoolconfigwidget.ui.h) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/src/kile/quictdetoolconfigwidget.ui b/src/kile/quicktoolconfigwidget.ui index dcb2a3d..dcb2a3d 100644 --- a/src/kile/quictdetoolconfigwidget.ui +++ b/src/kile/quicktoolconfigwidget.ui diff --git a/src/kile/quictdetoolconfigwidget.ui.h b/src/kile/quicktoolconfigwidget.ui.h index c0ac55d..c0ac55d 100644 --- a/src/kile/quictdetoolconfigwidget.ui.h +++ b/src/kile/quicktoolconfigwidget.ui.h |