diff --git a/phptools.kdev4 b/phptools.kdev4 deleted file mode 100644 index 63ae9b4..0000000 --- a/phptools.kdev4 +++ /dev/null @@ -1,3 +0,0 @@ -[Project] -Manager=KDevGenericManager -Name=phptools