diff options
| author | Javier <dev.git@javispedro.com> | 2014-01-28 17:39:18 +0100 |
|---|---|---|
| committer | Javier <dev.git@javispedro.com> | 2014-01-28 17:39:18 +0100 |
| commit | 2231b514e3646c6762818926b45b836e4263c0ea (patch) | |
| tree | cef1607e512e9b71961ae64e6c8d29d00fd72ed7 /topmenu-mozilla.files | |
| download | topmenu-mozilla-2231b514e3646c6762818926b45b836e4263c0ea.tar.gz topmenu-mozilla-2231b514e3646c6762818926b45b836e4263c0ea.zip | |
initial import
Diffstat (limited to 'topmenu-mozilla.files')
| -rw-r--r-- | topmenu-mozilla.files | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/topmenu-mozilla.files b/topmenu-mozilla.files new file mode 100644 index 0000000..65ebee1 --- /dev/null +++ b/topmenu-mozilla.files @@ -0,0 +1,15 @@ +chrome.manifest +install.rdf +Makefile +chrome/content/overlay.xul +chrome/content/overlay.js +chrome/content/log4moz.js +chrome/content/ctypes-utils.js +chrome/content/topmenuservice.js +chrome/content/glib.js +chrome/content/gobject.js +chrome/content/topmenu-client.js +chrome/content/gtk.js +chrome/content/gdk.js +chrome/content/gdk-pixbuf.js +chrome/content/vkgdkmap.js |