Commit History

Auteur SHA1 Bericht Datum
  Dan Helfman 779f51f40a Fix favicon on non-home pages. 5 maanden geleden
  Dan Helfman f54d566edc Fixes to make the inclusive language linter happy. 10 maanden geleden
  Divyansh Singh fc58ba5763 add favicon to documentation 2 jaren geleden
  Divyansh Singh a01dc62468 fix: remove extra links from docs css 2 jaren geleden
  Divyansh Singh 66d2f49f18 docs: copy to clipboard support 2 jaren geleden
  Dan Helfman a1d986d952 Replace "improve this documentation" form with link to support and ticket tracker. 4 jaren geleden
  Dan Helfman f573c1810a Add a suggestion form to all documentation pages, so users can submit ideas for improving the documentation. 5 jaren geleden
  Dan Helfman 9c9be65b2b Add files for building documentation into a Docker image for web serving. 6 jaren geleden