1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-27 07:21:18 +01:00
Lucas Jenß 73ce03ac1f Merge pull request #3021 from x3ro/pr_check_error_naming
[Travis Script] Make clear that "labels" refers to the ones set on GitHub
2015-05-19 15:22:56 +02:00
..
2015-05-14 15:40:09 +02:00
2014-11-28 18:05:02 +01:00
2015-02-08 18:52:16 +01: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