docs fix: patches are applied with 'patch', not with 'diff'
commit7e840ce65dbddc82b5c6c72dbed186b45b9b2ffa
authorwarner <warner@lothar.com>
Thu, 4 Sep 2008 01:57:01 +0000 (4 02:57 +0100)
committerwarner <warner@lothar.com>
Thu, 4 Sep 2008 01:57:01 +0000 (4 02:57 +0100)
treed52d6c588f8d76d955bef01e10795f9633e46a29
parentc03cf97d11bcd4a4ae55fcbbc5f893e6169581a9
docs fix: patches are applied with 'patch', not with 'diff'

* docs/buildbot.texinfo (BuildSet): fix typo, closes #343.
docs/buildbot.texinfo