log frontends/src/jp/cmd_input.py @ 2291:c05000d00dbb

age author description
Wed, 28 Jun 2017 23:49:55 +0200 Goffi jp (input): log improvments + empty filter: