From e1cab6b4c5f1317c65f07955fd887b1c1e60b553 Mon Sep 17 00:00:00 2001 From: Gauthier POGAM--LE MONTAGNER Date: Wed, 22 Feb 2017 17:28:37 +0100 Subject: [PATCH] jetbrains.phpstorm10: remove --- pkgs/applications/editors/jetbrains/default.nix | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/pkgs/applications/editors/jetbrains/default.nix b/pkgs/applications/editors/jetbrains/default.nix index 738a0769c6c..9aae3991ae2 100644 --- a/pkgs/applications/editors/jetbrains/default.nix +++ b/pkgs/applications/editors/jetbrains/default.nix @@ -292,19 +292,6 @@ in update-channel = "PS2017.2"; }; - phpstorm10 = buildPhpStorm rec { - name = "phpstorm-${version}"; - version = "10.0.4"; - description = "Professional IDE for Web and PHP developers"; - license = stdenv.lib.licenses.unfree; - src = fetchurl { - url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz"; - sha256 = "0fi042zvjpg5pn2mnhj3bbrdkl1b9vmhpf2l6ca4nr0rhjjv7dsm"; - }; - wmClass = "jetbrains-phpstorm"; - update-channel = "WI10"; - }; - pycharm-community = buildPycharm rec { name = "pycharm-community-${version}"; version = "2017.2.2"; /* updated by script */