software/mumi.git
2020-05-07  Ricardo Wurmusview: Generate blocks of lines and style the blocks.
2020-05-06  Ricardo Wurmusview: Define comment-box.
2020-05-06  Ricardo Wurmusview: Define issue details.
2020-05-06  Ricardo Wurmusview: Reduce size of h1 heading on issue pages.
2020-05-05  Ricardo Wurmusview: Make navigation sticky and hide title on narrow...
2020-05-05  Ricardo Wurmusview: Show issue title in fixed top bar.
2020-05-05  Ricardo Wurmuscss: Shrink h1 font size on smaller screens.
2020-05-05  Ricardo Wurmusview: Hide details by default.
2020-05-01  Ricardo Wurmusview/html: Move script tag into body and remove type.
2020-05-01  Ricardo Wurmusview/html: Declare language on HTML tag, not in a meta...
2020-04-23  Ricardo Wurmushtml: Generate only short issue URLs.
2020-04-23  Ricardo Wurmusdebbugs: Ignore duplicate mails.
2020-04-23  Ricardo Wurmuscss: Reduce message margin and padding.
2020-04-22  Ricardo Wurmusutils: Simplify prettify.
2020-04-22  Ricardo Wurmushtml: Add search hints.
2020-04-22  Ricardo Wurmusview/utils: Hide HTML message parts.
2020-04-22  Ricardo Wurmusbuild-aux: Add test driver.
2020-04-22  Ricardo Wurmusmumi: Rename patch-messages to issue-messages.
2020-04-22  Ricardo WurmusAdd link to more recent issues.
2020-04-22  Ricardo Wurmusview: Add list-of-recent-issues.
2020-04-22  Ricardo Wurmushtml: Replace "patch" with "issue".
2020-04-22  Ricardo Wurmusscripts: Reduce update interval.
2020-04-22  Ricardo Wurmusscripts: Do full index every 10 cycles.
2020-04-22  Ricardo Wurmusweb: Render "unknown" instead of showing a blank page.
2020-04-22  Ricardo Wurmusmessages: sender: Return unknown sender in the expected...
2020-04-22  Ricardo Wurmusdebbugs: Filter only "From " lines, not "From:".
2020-04-22  Ricardo WurmusUpdate TODO.org.
2020-04-22