e2a4dd7 Removed develop.js.

17 files Authored by edewata 12 years ago, Committed by simo 12 years ago,
    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
    
        
file modified
+4 -0
file modified
+1 -0
file modified
+12 -0
file modified
+5 -4
file modified
+0 -13
empty file added
file modified
+12 -0
file modified
+0 -1
file modified
+15 -29
file modified
+0 -1
file modified
+4 -7
file modified
+5 -6
file modified
+5 -3