Tomáš Mládek aaa511fc3f remove (unused) pagination		2021-12-13 16:59:02 +01:00
..
List.svelte	[ui] hier is now a list widget by default, fix widgets	2021-12-01 20:32:33 +01:00
Table.svelte	remove (unused) pagination	2021-12-13 16:59:02 +01:00