projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 68d4be0 157a580)
Merge pull request #1921 from mattzink/master
authorMiguel de Icaza <miguel@gnome.org>
Thu, 1 Oct 2015 21:44:17 +0000 (17:44 -0400)
committerMiguel de Icaza <miguel@gnome.org>
Thu, 1 Oct 2015 21:44:17 +0000 (17:44 -0400)
Allow disabling the mono-find-provides/requires RPM processing scripts

1  2 
scripts/mono-find-provides.in patch | diff1 | diff2 | blob | history

diff --cc scripts/mono-find-provides.in
Simple merge
my mono mirror. check out Moved to http://github.com/mono/mono