Mahmoud Ben Hassine c053207666 Add js to redirect old anchors to new ones

2019-10-24 16:30:17 +02:00

..

DocumentToggle.js

Fixed a refresh bug in the document toggle

2019-08-01 09:59:19 -05:00

jquery-3.2.1.min.js

Use spring-doc-resources

2019-04-05 21:48:24 +02:00

jquery.js

Use spring-doc-resources

2019-04-05 21:48:24 +02:00

js.cookie.js

Use spring-doc-resources

2019-04-05 21:48:24 +02:00

Redirect.js

Add js to redirect old anchors to new ones

2019-10-24 16:30:17 +02:00