diff options
Diffstat (limited to 'devel/ninja-ide/files/patch-ninja_ide__resources.py')
| -rw-r--r-- | devel/ninja-ide/files/patch-ninja_ide__resources.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/ninja-ide/files/patch-ninja_ide__resources.py b/devel/ninja-ide/files/patch-ninja_ide__resources.py deleted file mode 100644 index efa22c5c1bd4..000000000000 --- a/devel/ninja-ide/files/patch-ninja_ide__resources.py +++ /dev/null @@ -1,11 +0,0 @@ ---- ./ninja_ide/resources.py.orig 2012-08-23 01:57:46.000000000 +0200 -+++ ./ninja_ide/resources.py 2012-09-11 10:44:09.000000000 +0200 -@@ -40,6 +40,8 @@ - PRJ_PATH = os.path.abspath(os.path.dirname(sys.executable)) - - HOME_NINJA_PATH = os.path.join(HOME_PATH, ".ninja_ide") -+if not os.path.isdir(HOME_NINJA_PATH): -+ os.mkdir(HOME_NINJA_PATH) - - ADDINS = os.path.join(HOME_NINJA_PATH, "addins") - |