Code

repo sync#71

Code

Merged

Octomerger merged 1 commit intomaingithub/docs:mainfrom repo-syncgithub/docs:repo-syncCopy head branch name to clipboardSep 28, 2020

+4-1

Commits

Commits on Sep 28, 2020

• Set doctype html on all pages (#15779)

  heiskr

  authored
  5d5c688