On Monday, September 13, 2021 at 8:46:04 PM UTC+2 Jeremy Ruston wrote: Now that I started to write out the rationale for the choice of "dddd", I'm > realising that perhaps I think "dd" might be a better choice. What do > others think? >
I think 0dd and dd should be an option. I think 0dd is needed to get easy default sort order. -mario -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/c09a30b2-5d18-4752-9320-401d4bb51ce7n%40googlegroups.com.
