Commit 0b10c9ea6ef5d85d862edd044d96561c4fd16e9b

Vicent Martí 2011-06-26T08:33:11

Merge pull request #276 from carlosmn/development Bring back GCC flags