From 1fbcb3f7bf7ddf955193d798837ab88cf2815112 Mon Sep 17 00:00:00 2001 From: Javier Date: Sun, 23 Feb 2014 18:32:00 +0100 Subject: convert into a restartless extension --- topmenu-mozilla.files | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'topmenu-mozilla.files') diff --git a/topmenu-mozilla.files b/topmenu-mozilla.files index 65ebee1..799baeb 100644 --- a/topmenu-mozilla.files +++ b/topmenu-mozilla.files @@ -1,8 +1,6 @@ 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 @@ -13,3 +11,4 @@ chrome/content/gtk.js chrome/content/gdk.js chrome/content/gdk-pixbuf.js chrome/content/vkgdkmap.js +bootstrap.js -- cgit v1.2.3