comparison COPYING @ 3456:6deea0d8d0e7

plugin tickets, merge_requests: renamed "tickets" feature to "lists": this feature is more generic than only "tickets" for technical stuff, thus the name "lists" seems more appropriate.
author Goffi <goffi@goffi.org>
date Thu, 04 Feb 2021 21:05:21 +0100
parents 2a072735e459
children
comparison
equal deleted inserted replaced
3455:c30b4b18d3b8 3456:6deea0d8d0e7