Remove misplaced squirrel_coverity patch
authorTobias Markus <tobbi@mozilla-uk.org>
Sat, 7 Mar 2015 13:13:56 +0000 (14:13 +0100)
committerTobias Markus <tobbi@mozilla-uk.org>
Sat, 7 Mar 2015 13:13:56 +0000 (14:13 +0100)
commit1af645a4cafe78ed2fe16294cf0b19aca43fcf6e
treeb14e5159c74b4f6c1798977d688ed9ce391cf3b0
parentcb01f15217f0bc21d46dee8e7e8985a6d6f74413
Remove misplaced squirrel_coverity patch
squirrel_coverity.patch [deleted file]