ajacoutot f10b81d347 Drop useless header and simplify shell_global_reexec_self().

2014-04-25 16:31:49 +00:00

..

patches

Drop useless header and simplify shell_global_reexec_self().

2014-04-25 16:31:49 +00:00

pkg

update to gnome-shell-3.12.1

2014-04-16 07:28:34 +00:00

distinfo

update to gnome-shell-3.12.1

2014-04-16 07:28:34 +00:00

Makefile

Drop useless header and simplify shell_global_reexec_self().

2014-04-25 16:31:49 +00:00