comparison sat_frontends/jp/cmd_bookmarks.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 559a625a236b
children be6d91572633
comparison
equal deleted inserted replaced
3458:b68346a52920 3459:8dc26e5edcd3