comparison misc/org.goffi.SAT.service @ 2561:bd30dc3ffe5a

plugin merge-request mercurial: keeps more chars for import name
author Goffi <goffi@goffi.org>
date Mon, 02 Apr 2018 08:56:24 +0200
parents beaf8d4475e4
children
comparison
equal deleted inserted replaced
2560:6a31c67c562f 2561:bd30dc3ffe5a