micropython/micropython — pull request #716 by stinos (2014-06-25 11:36:32+00:00)
Title: py: Strip extra new line after comments in headers

The majority of // comments for functions/definitions/... have no
new newline after them, but some do so unify this accorss headers.

This changes no actual code whatsoever, but more than once I found myself wondering what style to use especially in headers (like the mpconfigports) where both are mixed. This should clear most of the confusion..