Remove cvs-build; it's no longer used
authorIan Lynagh <ian@well-typed.com>
Thu, 11 Oct 2012 14:34:07 +0000 (15:34 +0100)
committerIan Lynagh <ian@well-typed.com>
Thu, 11 Oct 2012 14:34:07 +0000 (15:34 +0100)
commit2f40085129120a6f485e3bd443afe686b7edbcc2
tree5077f114d576d94336693c104c39578756f9ac8a
parente84dc37c1dd661eb1a8425222280f04f573597dc
Remove cvs-build; it's no longer used
distrib/cvs-build [deleted file]