Documentation

• Aug 29, 2023 Documentation docs v2.2.871
• Jan 24, 2023 Documentation docs v2.3.0
  • Update CI configuration
• Dec 20, 2022 Documentation docs v2.2.657
  • Internal change: update website header and footer as part of GitHub action to update generated content (#1664)
• Dec 19, 2022 Documentation docs v2.2.656
  • Fix aliases (redirects) after moving pages (#1665)
• Dec 16, 2022 Documentation docs v2.2.655
  • Internal change: Add TYPE_LABEL to indexers in docker-compose setup (#1663)
• Dec 15, 2022 Documentation docs v2.2.654
  • Search UI: Use url field instead of uri if present (#1661)
• Dec 15, 2022 Documentation docs v2.2.653
  • Internal change: docker-compose setup: add intranet indexer, configure docs indexer via env variables (#1659)
• Dec 15, 2022 Documentation docs v2.2.652
  • Semi-automatic update of generated content (#1654)
• Dec 14, 2022 Documentation docs v2.2.651
  • Remove a page that was added accidentally (#1658)
• Dec 13, 2022 Documentation docs v2.2.650
  • Getting started review (#1652)

• Older entries