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

A search bar is missing in the documentation #74

Closed
1 task done
Ludee opened this issue Dec 9, 2024 · 0 comments
Closed
1 task done

A search bar is missing in the documentation #74

Ludee opened this issue Dec 9, 2024 · 0 comments
Assignees
Labels
part: docu 📖 Concerns the documentation priority: critical 🔥 Critical priority status: active 🚧 Work in progress type: enhancement ⚙️ Improvement of an existing feature

Comments

@Ludee
Copy link
Member

Ludee commented Dec 9, 2024

Description of the issue

A search bar is missing

Ideas of solution

Material for MkDocs - Built-in search plugin

Workflow checklist

@Ludee Ludee added part: docu 📖 Concerns the documentation type: enhancement ⚙️ Improvement of an existing feature status: active 🚧 Work in progress priority: critical 🔥 Critical priority labels Dec 9, 2024
@Ludee Ludee self-assigned this Dec 9, 2024
Ludee added a commit that referenced this issue Dec 9, 2024
@Ludee Ludee moved this to In review in super-repo-v0.3.0 Dec 9, 2024
@Ludee Ludee closed this as completed Dec 9, 2024
@github-project-automation github-project-automation bot moved this from In review to Done in super-repo-v0.3.0 Dec 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
part: docu 📖 Concerns the documentation priority: critical 🔥 Critical priority status: active 🚧 Work in progress type: enhancement ⚙️ Improvement of an existing feature
Projects
Status: Done
Development

No branches or pull requests

1 participant