diff --git a/docs/implementation.html b/docs/implementation.html index 71c0995f79f..2cf401a5ece 100644 --- a/docs/implementation.html +++ b/docs/implementation.html @@ -16,134 +16,11 @@ -->