arduino/library-registry
1
0
Fork 0
mirror of https://github.com/arduino/library-registry.git synced 2026-01-06 15:01:10 +03:00
Code Activity

Improve wording of heading for library removal instructions

Browse Source 
The previous wording was verbose and unclear, the result of copy/paste-based writing.

A backwards compatibility anchor tag is not needed in this case because this documentation has not yet been published,
meaning that there has been no opportunity for the creation of external links pointing to the old ID.
This commit is contained in:
per1234
2021-05-25 07:19:16 -07:00
parent 59d98edb01
commit bc2ab104d8
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -13,7 +13,7 @@ This repository contains the list of libraries in the
- [If the problem is with the pull request:](#if-the-problem-is-with-the-pull-request)
- [If the problem is with the library:](#if-the-problem-is-with-the-library)
- [Changing the URL of a library already in Library Manager](#changing-the-url-of-a-library-already-in-library-manager)
- [Removing the URL of a library already in Library Manager](#removing-the-url-of-a-library-already-in-library-manager)
- [Removing a library from Library Manager](#removing-a-library-from-library-manager)
- [Report a problem with Library Manager](#report-a-problem-with-library-manager)
<!-- tocstop -->
@@ -80,7 +80,7 @@ following [the instructions above](#instructions).
Since this type of request must be reviewed by a human maintainer, please write an explanation in the pull request
description, making it clear that the URL is intentionally being changed.
## Removing the URL of a library already in Library Manager
## Removing a library from Library Manager
Submit a pull request that removes the URL from [repositories.txt](repositories.txt). This can be done by following
[the instructions above](#instructions).