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

JavaScript

Raw Blame History