5 Commits

Include renames

Author	SHA1	Message	Date
dodox	20d0f97135	Compied new docs	2024-03-20 11:30:03 +01:00
dodox	4be05440a1	Final?! changes to docs	2024-01-23 17:48:07 +01:00
dodox	59c980e495	Final? touches to the docs	2024-01-23 17:42:39 +01:00
dodox	d3941f6167	New html docs compiled	2024-01-23 17:33:00 +01:00
dodox	4b862185e6	Change .gitignore; push docs/build to GitHub	2024-01-23 17:16:12 +01:00