annotate frontends/src/tools/__init__.py @ 721:0077912bc9ba

jp: removed named argument for pipeOut, as it's not managed with dynamicaly added methods
author Goffi <goffi@goffi.org>
date Tue, 26 Nov 2013 18:30:35 +0100
parents 56aa0e98c92e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source