Anders Ejlersen 959f012d80 1.8.5: Marking history elements as favorites will move them to the top of the list		2023-03-28 18:31:47 +02:00
..
Utilities	1.8.5: Marking history elements as favorites will move them to the top of the list	2023-03-28 18:31:47 +02:00
Window	1.8.5: Marking history elements as favorites will move them to the top of the list	2023-03-28 18:31:47 +02:00
Utilities.meta	0.3.0: Added history list	2021-02-14 13:49:25 +01:00
Window.meta	0.3.0: Added history list	2021-02-14 13:49:25 +01:00