projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0ebac11 4f4b674)
Merge pull request #2835 from lewurm/fix-make-dist
authormonojenkins <jo.shields+jenkins@xamarin.com>
Wed, 6 Apr 2016 01:40:27 +0000 (02:40 +0100)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Wed, 6 Apr 2016 01:40:27 +0000 (02:40 +0100)
[sqlmetal] fixup for a73fb31f2 in order to fix `make dist'


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