Mic e8d39d22f5 tags options moved to addtags page. see #183		2024-12-18 01:03:00 +01:00
..
addtags	tags options moved to addtags page. see #183	2024-12-18 01:03:00 +01:00
customprompts	indentation fixed	2024-12-15 20:41:22 +01:00