Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix docs at index being outdated #1331

Merged
merged 2 commits into from
Jan 18, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
481 changes: 18 additions & 463 deletions 404.html

Large diffs are not rendered by default.

905 changes: 18 additions & 887 deletions additional_information/index.html

Large diffs are not rendered by default.

Binary file removed assets/images/favicon.png
Binary file not shown.
29 changes: 0 additions & 29 deletions assets/javascripts/bundle.b78d2936.min.js

This file was deleted.

8 changes: 0 additions & 8 deletions assets/javascripts/bundle.b78d2936.min.js.map

This file was deleted.

29 changes: 0 additions & 29 deletions assets/javascripts/bundle.d7c377c4.min.js

This file was deleted.

7 changes: 0 additions & 7 deletions assets/javascripts/bundle.d7c377c4.min.js.map

This file was deleted.

1 change: 0 additions & 1 deletion assets/javascripts/lunr/min/lunr.ar.min.js

This file was deleted.

18 changes: 0 additions & 18 deletions assets/javascripts/lunr/min/lunr.da.min.js

This file was deleted.

18 changes: 0 additions & 18 deletions assets/javascripts/lunr/min/lunr.de.min.js

This file was deleted.

18 changes: 0 additions & 18 deletions assets/javascripts/lunr/min/lunr.du.min.js

This file was deleted.

Loading