diff options
Diffstat (limited to 'install/ui/ipa.js')
| -rw-r--r-- | install/ui/ipa.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/install/ui/ipa.js b/install/ui/ipa.js index 90d10291..04366a8c 100644 --- a/install/ui/ipa.js +++ b/install/ui/ipa.js @@ -351,6 +351,10 @@ IPA.command = function(spec) { return that.options[name]; }; + that.remove_option = function(name) { + delete that.options[name]; + }; + that.execute = function() { function dialog_open(xhr, text_status, error_thrown) { |