Skip to content

rename kernel_intern.h#71

Merged
LudwigKnuepfer merged 1 commit intoRIOT-OS:masterfrom
mehlis:master
Jul 17, 2013
Merged

rename kernel_intern.h#71
LudwigKnuepfer merged 1 commit intoRIOT-OS:masterfrom
mehlis:master

Conversation

@mehlis
Copy link
Copy Markdown
Contributor

@mehlis mehlis commented Jul 16, 2013

german "intern" to english "internal"

german "intern" to english "internal"
@mehlis
Copy link
Copy Markdown
Contributor Author

mehlis commented Jul 16, 2013

related to #70 (language improvements)

LudwigKnuepfer pushed a commit that referenced this pull request Jul 17, 2013
rename kernel_intern.h
@LudwigKnuepfer LudwigKnuepfer merged commit 9246461 into RIOT-OS:master Jul 17, 2013
chrysn pushed a commit to chrysn-pull-requests/RIOT that referenced this pull request Sep 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants