-
RieksJ authored
added a "date" attribute to the docusaurus headers. The idea is that they may be rendered where appropriate so that readers can now how old/recent the text is.
31b535d9
Scheduled maintenance - An upgrade will be performed today at 24/04/2024 06:00:14 UTC and is expected to last for about an hour. The service might be unavailable at this period of time.
added a "date" attribute to the docusaurus headers. The idea is that they may be rendered where appropriate so that readers can now how old/recent the text is.