From 72c2a84e77662f5ee2d40694e1b5dcdb87c83312 Mon Sep 17 00:00:00 2001 From: Evan Hunt Date: Mon, 21 Sep 2015 13:17:20 -0700 Subject: [PATCH] [master] comment no longer needed --- doc/arm/Bv9ARM-book.xml | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/arm/Bv9ARM-book.xml b/doc/arm/Bv9ARM-book.xml index 0b144452fe..04b386ea5c 100644 --- a/doc/arm/Bv9ARM-book.xml +++ b/doc/arm/Bv9ARM-book.xml @@ -18913,7 +18913,6 @@ allow-query { !{ !10/8; any; }; key example; }; -