1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-31 01:11:21 +01:00
Philipp Rosenkranz 935e2d81b4 Merge pull request #3409 from phiros/dist_drone_script_fail_if_gh_label_not_set
dist: make drone build script fail if gh label not set
2015-07-28 15:03:02 +02:00
..
2014-05-26 13:21:09 +02:00
2015-04-09 19:39:03 +02:00
2015-02-08 18:52:16 +01:00