Fix merge conflict
[phpmyadmin.git] / themes / 
tree69f7a078780bc293284ed11d53931a82478b516a
drwxr-xr-x   ..
-rw-r--r-- 345 .gitignore
-rw-r--r-- 43 dot.gif
drwxr-xr-x - original
drwxr-xr-x - pmahomme
-rw-r--r-- 2519 sprites.css.php
-rw-r--r-- 1149 svg_gradient.php