tree f25741d01102b463091d0dc096a1a13db6ad2c03
parent f9afd72e66c07fffcd994dec8f52340e6411218b
author Dominik Riemer <dominik.riemer@gmail.com> 1689192450 +0200
committer Dominik Riemer <dominik.riemer@gmail.com> 1689192450 +0200

Delete old docs dir, modify Github actions workflow