diff frontends/src/tools/xmlui.py @ 974:54cd05f68c7c

jp (info/disco): fixed disco loop when --connect is used
author Goffi <goffi@goffi.org>
date Wed, 02 Apr 2014 12:37:32 +0200
parents 5c7707c958d8
children b37b1d183ac3
line wrap: on
line diff