projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d12c06d e9b8cb6)
Merge pull request #1555 from JetBrains/unrecognized_pragma
authorMarek Safar <marek.safar@gmail.com>
Mon, 9 Feb 2015 10:17:32 +0000 (11:17 +0100)
committerMarek Safar <marek.safar@gmail.com>
Mon, 9 Feb 2015 10:17:32 +0000 (11:17 +0100)
Skip unrecognized #pragma directive


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono