diff --git a/doc/EN/installation.org b/doc/EN/installation.org index 22d2f4d7..06efd45f 100644 --- a/doc/EN/installation.org +++ b/doc/EN/installation.org @@ -7,7 +7,7 @@ #+BEGIN_HTML