diff --git a/docs/basics.xml b/docs/basics.xml index 0effcd87..946adcdd 100644 --- a/docs/basics.xml +++ b/docs/basics.xml @@ -117,12 +117,6 @@