From 20ad8fe1ba9b4a0f8ca9e365ac782895f6698c71 Mon Sep 17 00:00:00 2001 From: "Endi S. Dewata" Date: Wed, 9 Nov 2011 18:48:04 -0600 Subject: 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 --- install/ui/extension.js | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 install/ui/extension.js (limited to 'install/ui/extension.js') diff --git a/install/ui/extension.js b/install/ui/extension.js new file mode 100644 index 00000000..e69de29b -- cgit