projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ce285ef d95ccb2)
Merge pull request #2662 from mattleibow/pcl-mono.options
authorJonathan Pryor <jonpryor@vt.edu>
Tue, 1 Mar 2016 17:20:28 +0000 (09:20 -0800)
committerJonathan Pryor <jonpryor@vt.edu>
Tue, 1 Mar 2016 17:20:28 +0000 (09:20 -0800)
[Mono.Options] Changed the code a bit so that it works with PCL


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