diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-04-20 13:38:34 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-04-20 13:38:34 (GMT) |
| commit | 76e375749addc130252116ea677250c38b117549 (patch) | |
| tree | d428b746910bf2fd828586075aa8d7a65c3d9d40 /pylint.sh | |
| parent | f6a93fd8e9f44acdcddf4a487f1483eca55ae805 (diff) | |
Add more toolbars and a text area
Diffstat (limited to 'pylint.sh')
0 files changed, 0 insertions, 0 deletions