3 Commits

Author	SHA1	Message	Date
Mahmoud Ben Hassine	c053207666	Add js to redirect old anchors to new ones	2019-10-24 16:30:17 +02:00
Jay Bryant	3f126fe0ff	Fixed a refresh bug in the document toggle ... While working on another feature, I noticed that the document toggle wasn't updating the ToC. I fixed that. (It matters only in the case where entire headings are toggled, but we do have one such case.)	2019-08-01 09:59:19 -05:00
Jay Bryant	145bacc34a	Use spring-doc-resources	2019-04-05 21:48:24 +02:00