docs/src/footer.html@606519b4a867
docs/src/footer.html
Mon, 12 Jun 2023 20:09:30 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Mon, 12 Jun 2023 20:09:30 +0200
- changeset 758
- 606519b4a867
- parent 265
- ee9e63c437c4
- permissions
- -rw-r--r--
fix configure script again, this time correctly
