diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2018-03-19 23:46:33 +0100 |
---|---|---|
committer | Daiderd Jordan <daiderd@gmail.com> | 2018-04-05 20:05:26 +0200 |
commit | 18bc2aeadb1f2ce2e41c2c2c93df2a7e0842c764 (patch) | |
tree | 8e92f70dc6e92a1d0eeb366e21d90056a6c59edb /pkgs/applications/misc/jgmenu | |
parent | 7fea3e2acc59baf70de81a6fdcb8a269db0a653c (diff) |
jgmenu: mark linux only
Diffstat (limited to 'pkgs/applications/misc/jgmenu')
-rw-r--r-- | pkgs/applications/misc/jgmenu/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/misc/jgmenu/default.nix b/pkgs/applications/misc/jgmenu/default.nix index e87288d71287e..ffb898b265c20 100644 --- a/pkgs/applications/misc/jgmenu/default.nix +++ b/pkgs/applications/misc/jgmenu/default.nix @@ -34,7 +34,7 @@ stdenv.mkDerivation rec { homepage = https://github.com/johanmalm/jgmenu; description = "Small X11 menu intended to be used with openbox and tint2"; license = licenses.gpl2; - platforms = platforms.unix; + platforms = platforms.linux; maintainers = [ maintainers.romildo ]; }; } |