diff --git a/doc/arm/notes.html b/doc/arm/notes.html index 690052e033..061873096e 100644 --- a/doc/arm/notes.html +++ b/doc/arm/notes.html @@ -21,9 +21,7 @@
Table of Contents