comparison frontends/src/tools/misc.py @ 2546:48820e4a1f8a

plugin merge-requests: fixed labels (they were using textbox instead of list)
author Goffi <goffi@goffi.org>
date Fri, 30 Mar 2018 19:49:35 +0200
parents 1dfc5516dead
children
comparison
equal deleted inserted replaced
2545:2df1ca79cb30 2546:48820e4a1f8a