comparison frontends/src/tools/misc.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 1dfc5516dead
children
comparison
equal deleted inserted replaced
2558:501b0f827f63 2559:1362cabad225