diff --git a/src/main/webapp/plug-in/ace/js/html5shiv.js b/src/main/webapp/plug-in/ace/js/html5shiv.js index 97cd46bd..85e0ec1f 100644 --- a/src/main/webapp/plug-in/ace/js/html5shiv.js +++ b/src/main/webapp/plug-in/ace/js/html5shiv.js @@ -1,10 +1,10 @@ /** -* @preserve HTML5 Shiv 3.7.3 | @afarkas @jdalton @jon_neal @rem | MIT/GPL2 Licensed +* @preserve HTML5 Shiv 3.7.2 | @afarkas @jdalton @jon_neal @rem | MIT/GPL2 Licensed */ ;(function(window, document) { /*jshint evil:true */ /** version */ - var version = '3.7.3'; + var version = '3.7.2'; /** Preset options */ var options = window.html5 || {};