diff src/tools/trigger.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 af4a38ebf52a
children
line wrap: on
line diff