correct "an user" (#2687)

This commit is contained in:
Markus Adrario 2025-06-03 01:00:20 -06:00 committed by GitHub
parent 9822f0fd5b
commit 6eca11c42e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -58,7 +58,7 @@ the definition of an existing term.
Additionally, we have a terminology tooltip available, that can be added and
works everywhere in the documentation. This tooltip will show a definition
of the term when the user hovers over it with a link for more information.
It provides instant context to terminology an user might not be familiar with.
It provides instant context to terminology a user might not be familiar with.
The syntax for adding terminology tooltips is: