1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

CONTRIBUTING: update print toolchain versions command

This commit is contained in:
Alexandre Abadie 2019-05-24 14:27:52 +02:00
parent 350ae5bb01
commit 747ebb81c6
No known key found for this signature in database
GPG Key ID: 1C919A403CAE1405

View File

@ -68,7 +68,7 @@ other contributors understand your issue and eventually reproduce it:
To fill the `Versions` section, you can use the script provided in the RIOT git To fill the `Versions` section, you can use the script provided in the RIOT git
repository: repository:
``` ```
./dist/tools/ci/print_toolchain_versions.sh make print-versions
``` ```
In summary, try to include as much information as possible, to help maintainers In summary, try to include as much information as possible, to help maintainers