Mehdi Kabab b9773b555c Fixed issue 189, no rounded tab in webkit (safari / chrome).

2009-04-16 11:47:42 +02:00

..

css

Fixed issue 189, no rounded tab in webkit (safari / chrome).

2009-04-16 11:47:42 +02:00

img

Improved the external icon for the git submodules.

2009-02-27 13:51:23 +01:00

js

Updated the pretty print not to need extra <pre></pre>.

2008-11-15 21:23:29 +01:00