| Thu, 16 Jul 2009 14:44:18 +0200 | Aurelien Campeas | shrink a bit the tabs | file | diff | annotate |
| Thu, 18 Jun 2009 21:01:55 +0200 | Aurelien Campeas | replace tabs implementation (behaviour should be strictly identical, look is a bit different), using jquery.tools (see #343644) | file | diff | annotate |