tree 736ec2b73ae89f23fc6ce9f594c6c55d27587513
parent 7db716e81ed5f336e6a210a55f26787d8851c63d
author Roy Lenferink <lenferinkroy@gmail.com> 1595182141 +0200
committer Roy Lenferink <lenferinkroy@gmail.com> 1595252336 +0200

Update docs extraction script to handle preset titles