diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-30 11:15:42 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-10-30 11:15:42 (GMT) |
| commit | 6768a4216fad97711faeeffcfa9c43e8adc8491b (patch) | |
| tree | 0629fd6fa7018b7bae170c907b197bc2206becf9 /pylint.sh | |
| parent | 2782ce71b09d903b87caa9f8d0ed9d2aa7c39032 (diff) | |
Remove the console. Eduardo is moving the functionalities
out to the log and analyze activities.
Diffstat (limited to 'pylint.sh')
0 files changed, 0 insertions, 0 deletions