Jean-Francois Brazeau 7a8a799c26 Update useragent.js ... Patch proposal for https://github.com/ajaxorg/ace/issues/1814 (IE11 compatibility issue)		2014-02-12 15:05:53 +01:00
..
ace	Update useragent.js	2014-02-12 15:05:53 +01:00