Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

make: fix indentation to 2 spaces in several places #7576

Merged
merged 4 commits into from
Sep 6, 2017

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