comparison doc/installation.rst @ 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 dea30b1eb166
children 4705f80b6e23
comparison
equal deleted inserted replaced
3455:c30b4b18d3b8 3456:6deea0d8d0e7