diff src/plugins/plugin_misc_extra_pep.py @ 1791:1359ad0b37c2

reverted patch 3770d13776e8
author Goffi <goffi@goffi.org>
date Wed, 13 Jan 2016 13:11:20 +0100
parents 0dfabe746ec4
children 2daf7b4c6756
line wrap: on
line diff