You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/package_index_json-specification.md
+1-1
Original file line number
Diff line number
Diff line change
@@ -4,7 +4,7 @@ Boards Manager functionality is provided by [Arduino CLI](getting-started.md#add
4
4
5
5
## Naming of the JSON index file
6
6
7
-
Many different index files coming from different vendors may be in use, so each vendor should name his own index file in a way that won't conflict with others. The file must be named as follows:
7
+
Many different index files coming from different vendors may be in use, so each vendor should name their own index file in a way that won't conflict with others. The file must be named as follows:
0 commit comments