diff options
| author | Dario Giovannetti <dariogiova@gmail.com> | 2012-05-01 17:42:51 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 11:30:02 +0200 |
| commit | 27cf83d177256813e2e802241085fce5dd0f3fb9 (patch) | |
| tree | f5bb03daa7110a7a6f5ef25571c26d0b56ab0a18 /maintenance/term/MWTerm.php | |
| parent | c4372dd38a4d109b4f3881ea63b667e33adbe503 (diff) | |
minor CSS refinements
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
Diffstat (limited to 'maintenance/term/MWTerm.php')
0 files changed, 0 insertions, 0 deletions