comparison frontends/src/tools/host_listener.py @ 2559:1362cabad225

plugin merge-request mercurial: better name sanitization for import
author Goffi <goffi@goffi.org>
date Mon, 02 Apr 2018 08:45:08 +0200
parents 0046283a285d
children
comparison
equal deleted inserted replaced
2558:501b0f827f63 2559:1362cabad225