diff sat/tools/video.py @ 3459:8dc26e5edcd3

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 c8033a9357e7
children be6d91572633
line wrap: on
line diff