v5.0.x: docs: Add a "Last updated on:" HTML footer#13237

janjust merged 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

jsquyres:pr/v5.0.x/add-html-docs-last-updated-on-footerjsquyres/ompi:pr/v5.0.x/add-html-docs-last-updated-on-footerCopy head branch name to clipboard