diff options
Diffstat (limited to 'docs/manual/adding-packages-tips.txt')
| -rw-r--r-- | docs/manual/adding-packages-tips.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/manual/adding-packages-tips.txt b/docs/manual/adding-packages-tips.txt index 6ec632de2..5e327d26b 100644 --- a/docs/manual/adding-packages-tips.txt +++ b/docs/manual/adding-packages-tips.txt @@ -32,8 +32,8 @@ using the following rules: [[github-download-url]] -How to add package from github -^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ +How to add a package from github +^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ If the package has no release version, or its version cannot be identified using tag, then the sha1 of the particular commit should be |