Modified the 'How to use?' message for info about mousewheel zoom and panning feature
[phpmyadmin/ammaryasirr.git] / js / codemirror / lib / 
tree049485a22136b981798f4462cb42df0bd805bc57
drwxr-xr-x   ..
-rw-r--r-- 87356 codemirror.js