Changeset 2422

Timestamp:
Mar 6, 2019 8:15:15 PM (3 months ago)
Author:
stefan
Message:

remove docbook sources of doc

  • this has been migrated to markdown pages, which reside in the gh-pages branch
File:
1 deleted

Note: See TracChangeset for help on using the changeset viewer.