Migrate term 'package' to 'extension' (#1280)

* Migrate term 'package' to 'extension'

* Bad link

* Add package term note

* Small article change
This commit is contained in:
Galen Nickel
2018-09-26 09:35:56 -07:00
committed by Peli de Halleux
parent 51a3a1444c
commit 6976055aa9
9 changed files with 34 additions and 29 deletions

View File

@ -28,6 +28,6 @@
## Developers
* [Command Line Interface](/cli)
* Learn about [packages](/packages)
* Learn about [extensions](/extensions)
* [Flashing via HID (CMSIS-DAP)](/hidflash)