| commit | 4e885a5f3e63979afbda1e370d7b1a0f26138700 | [log] [tgz] |
|---|---|---|
| author | Dominik Riemer <dominik.riemer@gmail.com> | Wed Jul 12 22:07:30 2023 +0200 |
| committer | Dominik Riemer <dominik.riemer@gmail.com> | Wed Jul 12 22:07:30 2023 +0200 |
| tree | f25741d01102b463091d0dc096a1a13db6ad2c03 | |
| parent | f9afd72e66c07fffcd994dec8f52340e6411218b [diff] |
Delete old docs dir, modify Github actions workflow
