diff src/sat.sh @ 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 a34b4fca16e2
children
line wrap: on
line diff