| commit | 59811b189d1b2ac60bad1d2b2bd84437f13a455f | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Wed Jun 28 22:47:22 2000 +0000 |
| committer | Guido van Rossum <guido@python.org> | Wed Jun 28 22:47:22 2000 +0000 |
| tree | 85d55d262f72d476c9604c01b8518ffd5e2af780 | |
| parent | cc6a438d7f33749859653d12ab963b014b1458bd [diff] |
Peter Schneider-Kamp: Problem: A Python program can be completed and reformatted using Tools/scripts/pindent.py. Unfortunately there is no option for removal of the generated "# end"-tags. Although a few Python commands or a "grep -v '# end '" can do wonders here, there are two drawbacks: - not everyone has grep/time to write a Python script - it is not checked whether the "# end"-tags were used validly Solution: add extra option "-e" (eliminate) to pindent.py