comparison frontends/src/jp/base.py @ 1791:1359ad0b37c2

reverted patch 3770d13776e8
author Goffi <goffi@goffi.org>
date Wed, 13 Jan 2016 13:11:20 +0100
parents d17772b0fe22
children 39545dc527a1
comparison
equal deleted inserted replaced
1790:bf7e468fe440 1791:1359ad0b37c2