You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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		8 years ago
..
testbed-support	dist: Makefile to work with IoT-LAB	8 years ago
tools	Merge pull request #3021 from x3ro/pr_check_error_naming	8 years ago
Dockerfile	all: remove extra blank lines at the end	8 years ago
Makefile	make: doc: clean up dist Makefile	9 years ago
ar-wrapper	make: OSX: don't fail for empty .a archives	9 years ago
empty.a	make: OSX: don't fail for empty .a archives	9 years ago
gdbinit-docker	Makefile.include: Add docker target.	8 years ago