Skip to content

Feature/add rebuild index button#64

Open
mcgivrer wants to merge 2 commits intodevelopfrom
feature/add-rebuild-index-button
Open

Feature/add rebuild index button#64
mcgivrer wants to merge 2 commits intodevelopfrom
feature/add-rebuild-index-button

Conversation

@mcgivrer
Copy link
Copy Markdown
Owner

No description provided.

Frédéric Delorme added 2 commits April 22, 2026 11:18
… documentation et messages, ajout d'un bouton pour reconstruire l'index dans l'interface utilisateur.
…d Index" dans la barre d'outils du Project Explorer et mise à jour de la documentation correspondante.
@mcgivrer mcgivrer added this to the 0.1.5 milestone Apr 22, 2026
@mcgivrer mcgivrer self-assigned this Apr 22, 2026
@mcgivrer mcgivrer added documentation Improvements or additions to documentation enhancement New feature or request labels Apr 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant