log src/plugins/plugin_misc_extra_pep.py @ 2143:c3cac21157d4

age author description
2016-04-17 Goffi use of /usr/bin/env instead of /usr/bin/python in shebang
2015-12-15 Goffi plugin extra_pep: replaced name by a short one