tree ff2f70eada4619fee7a9cb015d2617d9a7b1d604
parent 7494fad49a314a093d08dd4df87c20af2b9b2a18
author Marc Kupietz <kupietz@ids-mannheim.de> 1593276886 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1593289154 +0200

Build and deploy documentation automatically to gh-pages

Change-Id: Ieb6daef389b2b5de2f78039c72a66d0148b62fc6