aboutsummaryrefslogtreecommitdiff
path: root/docs/CommandGuide/man/man1
diff options
context:
space:
mode:
authorMisha Brukman <brukman+llvm@gmail.com>2004-07-02 15:36:29 +0000
committerMisha Brukman <brukman+llvm@gmail.com>2004-07-02 15:36:29 +0000
commit595d32e93b3dacc143ccbe2bcabe60dcf71a3bc3 (patch)
treee7f4e45d320b5b66e6673257c9405bfe348c49e7 /docs/CommandGuide/man/man1
parentc3e0434102e86bc6e20b543c5d09630fd463ae25 (diff)
Simplify wording: `the bugpoint tool' can just become `bugpoint'.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14574 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/CommandGuide/man/man1')
0 files changed, 0 insertions, 0 deletions