search

ARMmbed / core-util

DEPRECATED: Mbed 3 utilities library
Other
12 stars 17 forks source link

Fix include paths #38

Closed bogdanm closed 8 years ago

bogdanm commented 8 years ago

@0xc0170 @bremoran

0xc0170 commented 8 years ago

LGTM

Hi jenkins-internal, why you are not running?

bogdanm commented 8 years ago

Yo, Jenkins, Martin is talking to you. Say something! @miklis

bremoran commented 8 years ago

Not even sure the above comments are anything to worry about. LGTM

bogdanm commented 8 years ago

Looks like the build worked, so I'll merge this unless there are any objections.

bremoran commented 8 years ago

LGTM