2 Commits

Author	SHA1	Message	Date
Mike Fährmann	6dac43ad60	[docs] replace AnchorJS with custom script ... use it in rendered .rst documents as well as in .md ones	2024-04-13 17:53:04 +02:00
Mike Fährmann	416f1b8cc1	[pages] customize layout to remove unnecessary links ... - "docs" header - "Improve this page" https://github.com/pages-themes/primer/blob/master/_layouts/default.html	2024-03-11 23:28:20 +01:00