diff options
| -rw-r--r-- | docs/Passes.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Passes.html b/docs/Passes.html index 8b99337975..2e024be943 100644 --- a/docs/Passes.html +++ b/docs/Passes.html @@ -1,4 +1,4 @@ -32;10;2c<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> |