diff frontends/src/jp/cmd_info.py @ 1079:c0ef97002ef4

reverted commit bb4517e69957: note was not implemented on purpose
author Goffi <goffi@goffi.org>
date Wed, 18 Jun 2014 16:35:20 +0200
parents 6ec513ad92c2
children 96fb74a4714d
line wrap: on
line diff