Filter for extensions.gnome.org
- From: David Gómez <dg dave gmail com>
- To: gnome-shell-list gnome org
- Subject: Filter for extensions.gnome.org
- Date: Thu, 8 Dec 2011 22:28:22 -0500
I was thing, there must be a filter system for
extensions.gnome.org website, because now it's kind of hard to find new and updated extensions in the list, so this could be a nice future.
--
David Gómez
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
