diff options
Diffstat (limited to 'pkgs/desktops/gnome-3/3.22/devtools/devhelp/src.nix')
| -rw-r--r-- | pkgs/desktops/gnome-3/3.22/devtools/devhelp/src.nix | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/pkgs/desktops/gnome-3/3.22/devtools/devhelp/src.nix b/pkgs/desktops/gnome-3/3.22/devtools/devhelp/src.nix deleted file mode 100644 index 02747b9153c..00000000000 --- a/pkgs/desktops/gnome-3/3.22/devtools/devhelp/src.nix +++ /dev/null @@ -1,10 +0,0 @@ -# Autogenerated by maintainers/scripts/gnome.sh update - -fetchurl: { - name = "devhelp-3.22.0"; - - src = fetchurl { - url = mirror://gnome/sources/devhelp/3.22/devhelp-3.22.0.tar.xz; - sha256 = "59cae02e12d238cc5fc3f049d779895ba89701426d9173f5b534d4ab90c5ffb0"; - }; -} |