Endi S. Dewata 20ad8fe1ba Removed develop.js. ...

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

2011-11-14 16:47:10 -05:00

0 lines

0 B

JavaScript

Raw Blame History

The file is empty.