Skip to content
GitLab

bugfix, and added a "date" attribute to the docusaurus headers.

Merged Rieks Joosten requested to merge terminology-rieks into master
  • Bugfix (some earlier merge conflicts hadn't been resolved)
  • 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.

Merge request reports