software/mumi - Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.

	Commit message (Expand)	Author	Age	Files	Lines
*	js: Do not finish token on space when inside a prefixed phrase.	Ricardo Wurmus	2023-01-01	1	-1/+1
*	js: Simplify query tokenizer.	Ricardo Wurmus	2023-01-01	1	-41/+1
*	js: Tokenize pasted text.	Ricardo Wurmus	2023-01-01	1	-0/+7
*	js: Move tokenizer code to function.	Ricardo Wurmus	2023-01-01	1	-11/+17
*	js: Move constants out of function context.	Ricardo Wurmus	2023-01-01	1	-64/+64
*	js: Don't append a trailing space to query.	Ricardo Wurmus	2023-01-01	1	-3/+1
*	js: Ensure that input element is visible....	Ricardo Wurmus	2023-01-01	1	-0/+1
*	Move lines.js into mumi.js.	Ricardo Wurmus	2022-12-31	2	-13/+16
*	Only act on clicks to the left of the line....	Ricardo Wurmus	2022-12-31	1	-1/+2
*	Add JavaScript to recognize and style query tokens.	Ricardo Wurmus	2022-12-31	2	-14/+1655
*	Fix table sort of dates....	Ricardo Wurmus	2022-12-24	1	-0/+14
*	Activate theme switcher as soon as the body tag exists.	Ricardo Wurmus	2022-12-24	1	-7/+5
*	Reduce page weight by simplifying line number anchors....	Ricardo Wurmus	2022-12-24	1	-0/+12
*	Add dark/light theme switcher.	Ricardo Wurmus	2022-12-20	1	-0/+101
*	Make tables sortable.	Ricardo Wurmus	2020-04-01	1	-0/+298
*	Update styles....	Ricardo Wurmus	2019-07-11	1	-2/+2
*	controller: Load expensive lists via JavaScript...	Ricardo Wurmus	2019-02-01	1	-0/+19