Rename 'Glossary' section of documentation to 'Definitions'.

MarkNahabedian · Dec 22, 2024 · f58497b · f58497b
1 parent e7f300e
commit f58497b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/src/index.md b/docs/src/index.md
@@ -246,7 +246,7 @@ end
 ```@index
 ```
 
-## Glossary
+## Definitions
 
 ```@autodocs
 Modules = [Rete]