[arch-commits] Commit in (hotdoc hotdoc/repos hotdoc/trunk)

[Jan Steffens via arch-commits]

    Date: Wednesday, September 9, 2020 @ 19:17:24
  Author: heftig
Revision: 395652

Add hotdoc

Added:
  hotdoc/
  hotdoc/repos/
  hotdoc/trunk/