.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/install/ui/extension.js

	Commit message (Collapse)	Author	Age	Files	Lines
*	Removed develop.js.	Endi S. Dewata	2011-11-14	1	-0/+0
	The develop.js is no longer necessary because the code in it has been merged into the main code. An empty extension.js has been added to provide a place for UI customization. Ticket #2099