| commit | 0012c1ec742555b99ad84b02d646361ef07ba42b | [log] [tgz] |
|---|---|---|
| author | Barry Warsaw <barry@python.org> | Tue Mar 14 16:32:55 1995 +0000 |
| committer | Barry Warsaw <barry@python.org> | Tue Mar 14 16:32:55 1995 +0000 |
| tree | b32c8f9ab12b783ea58af42a6c7e7e81caee8d51 | |
| parent | b86bbada3799a7e2ec604d1d2518c074d2bacaee [diff] |
(py-outdent-re): new constant (py-electric-colon): use py-outdent-re instead of hardcoding (py-indent-line): look for py-outdent-re and outdent a level accordingly