hjk ce7ee677d8 Vcs: Use PagedSettings for all plugin settings ...

Hopefully the last structural change for a while.

Settings lifetime is again tied to the plugin private.

Change-Id: I221e8b8baa69422306191b48a9f034ef5b1a0dc2
Reviewed-by: Orgad Shaneh <orgads@gmail.com>

2023-05-15 13:11:05 +00:00

35 KiB

Raw Blame History

View Raw