rcombs d3a63e16d2 command: use property_time() for sub-start and sub-end ... This gives these properties the "time" type, which allows them to be pretty-printed as HH:MM:SS easily (but also still allows raw formatting using e.g. ${=sub-start}).		2024-04-18 13:11:01 +02:00
..
example.txt	…
show-in-taskbar.txt	DOCS: document --show-in-taskbar option	2024-04-18 00:09:09 +02:00
sub-times.txt	command: use property_time() for sub-start and sub-end	2024-04-18 13:11:01 +02:00
track-list-decoder-tag.txt	player/command: add track-list/N/decoder	2024-04-18 01:20:32 +02:00