Skip to content

Commit

Permalink
Update
Browse files Browse the repository at this point in the history
  • Loading branch information
jp-keros committed Sep 3, 2023
1 parent a1aeb9e commit 353dc93
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion en-eng/WebUI_Tools.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ Here is the __Tools__ page of the plugin Web interface :

### How to use

Use this page to use the differents tools of the plugin.
Use this page to use the different tools of the plugin.

Refer to the tutorial [Using tools](HowTo_Using-tools.md) for more informations.

Expand Down

0 comments on commit 353dc93

Please sign in to comment.