diff --git a/doc/CODING_STYLE.html b/doc/CODING_STYLE.html index dc365983..c2bb4616 100644 --- a/doc/CODING_STYLE.html +++ b/doc/CODING_STYLE.html @@ -6,7 +6,7 @@