head	1.1;
access;
symbols
	RELEASE_8_3_0:1.1
	RELEASE_9_0_0:1.1
	RELEASE_7_4_0:1.1
	RELEASE_8_2_0:1.1
	RELEASE_6_EOL:1.1
	RELEASE_8_1_0:1.1
	RELEASE_7_3_0:1.1
	RELEASE_8_0_0:1.1
	RELEASE_7_2_0:1.1
	RELEASE_7_1_0:1.1
	RELEASE_6_4_0:1.1
	RELEASE_5_EOL:1.1
	RELEASE_7_0_0:1.1
	RELEASE_6_3_0:1.1
	PRE_XORG_7:1.1
	RELEASE_4_EOL:1.1
	RELEASE_6_2_0:1.1;
locks; strict;
comment	@# @;


1.1
date	2006.05.07.13.02.13;	author vanilla;	state Exp;
branches;
next	;


desc
@@


1.1
log
@Add xpi-web_developer 1.0.2, an extension to add various web developer
tools.

PR:		ports/96882
Submitted by:	chinsan <chinsan.tw@@gmail.com>
@
text
@Adds a menu and a toolbar with various web developer tools.

WWW: https://addons.mozilla.org/firefox/60/
@
