diff options
Diffstat (limited to 'docs/CommandGuide/extract.html')
| -rw-r--r-- | docs/CommandGuide/extract.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/CommandGuide/extract.html b/docs/CommandGuide/extract.html index 275b9b1e0c..36f01e4245 100644 --- a/docs/CommandGuide/extract.html +++ b/docs/CommandGuide/extract.html @@ -1,12 +1,12 @@ <html> <title> -extract +LLVM: extract tool </title> <body> <center> -<h1>Low Level Virtual Machine</h1> +<h1>LLVM: extract tool</h1> </center> <HR> |