Branch: refs/heads/master
Home:
https://github.com/phpmyadmin/phpmyadmin
Commit: 3ab68f954cbeb0b7751fe00853937020d33dc488
https://github.com/phpmyadmin/phpmyadmin/commit/3ab68f954cbeb0b7751fe008539…
Author: Michal Čihař <mcihar(a)suse.cz>
Date: 2013-02-14 (Thu, 14 Feb 2013)
Changed paths:
M themes/pmahomme/css/codemirror.css.php
Log Message:
-----------
Reintroduce missing CodeMirror CSS to fix selection highlighting (bug #3790)