camptocamp/c2cgeoportal — pull request #766 by sbrunner (2013-11-15 13:28:46+00:00)
Title: Fix the slider thumb drag on IE10

By removing DragTracker.js from ext.overrides that's a patch for IE9
needed in an older version id Ext JS.

By the way standardize all the root section in the jsbuild/app.cfg.