Commit Verlauf

Autor SHA1 Nachricht Datum
  Dan Helfman 2deb27c985 Fix page <title> on documentation home. vor 1 Monat
  Dan Helfman 85177b78a6 Merge branch 'main' into reference-docs vor 1 Monat
  Dan Helfman 6d7dc378a9 Add documentation search. vor 1 Monat
  Dan Helfman 2a69598e02 Partial work on factoring out references docs from how-to guides (#942). vor 1 Monat
  Dan Helfman 779f51f40a Fix favicon on non-home pages. vor 9 Monaten
  Dan Helfman f54d566edc Fixes to make the inclusive language linter happy. vor 1 Jahr
  Divyansh Singh fc58ba5763 add favicon to documentation vor 2 Jahren
  Divyansh Singh a01dc62468 fix: remove extra links from docs css vor 2 Jahren
  Divyansh Singh 66d2f49f18 docs: copy to clipboard support vor 2 Jahren
  Dan Helfman a1d986d952 Replace "improve this documentation" form with link to support and ticket tracker. vor 4 Jahren
  Dan Helfman f573c1810a Add a suggestion form to all documentation pages, so users can submit ideas for improving the documentation. vor 6 Jahren
  Dan Helfman 9c9be65b2b Add files for building documentation into a Docker image for web serving. vor 6 Jahren