-
Tristan Van Berkom authored
Separate the revisioned provisional session html files such that the git tree does not become dirty as a result of a documentation build process - which messes up the docs version number and the version number printed in some command line output.
6fa3f922