Remove some options that don't really have anything to do with bugpoint
authorChris Lattner <sabre@nondot.org>
Tue, 6 Apr 2004 15:14:10 +0000 (15:14 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 6 Apr 2004 15:14:10 +0000 (15:14 +0000)
commite5109fae718c996ce52b485328f8108728097843
tree2d452eecc381c65ef070a58a3f46fa276bdaa3ad
parent6ab06d5d198010b667c05d6c56fe7e1f5201e8dd
Remove some options that don't really have anything to do with bugpoint

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12694 91177308-0d34-0410-b5e6-96231b3b80d8
docs/CommandGuide/bugpoint.html