log src/plugins/plugin_misc_extra_pep.py @ 2065:f3167c873e7b

age author description
Sun, 17 Apr 2016 14:45:26 +0200 Goffi use of /usr/bin/env instead of /usr/bin/python in shebang
Tue, 15 Dec 2015 17:03:30 +0100 Goffi plugin extra_pep: replaced name by a short one