Skip to content

Conversation

aabadie
Copy link
Contributor

@aabadie aabadie commented Sep 6, 2017

Follow-up of #7065.

@aabadie aabadie added Type: cleanup The issue proposes a clean-up / The PR cleans-up parts of the codebase / documentation Area: build system Area: Build system labels Sep 6, 2017
@aabadie aabadie added this to the Release 2017.10 milestone Sep 6, 2017
@aabadie aabadie added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Sep 6, 2017
@aabadie aabadie changed the title Makefile: fix indentation to 2 spaces in several places make: fix indentation to 2 spaces in several places Sep 6, 2017
@aabadie aabadie requested a review from miri64 September 6, 2017 14:18
Copy link
Member

@miri64 miri64 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ACK and go

@miri64 miri64 merged commit 79fd35e into RIOT-OS:master Sep 6, 2017
@aabadie aabadie deleted the makefile_indentation branch February 26, 2018 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: build system Area: Build system CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Type: cleanup The issue proposes a clean-up / The PR cleans-up parts of the codebase / documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants