diff --git a/docs/common_tasks.rst b/docs/common_tasks.rst index fa5da134e..5b9711e16 100644 --- a/docs/common_tasks.rst +++ b/docs/common_tasks.rst @@ -120,15 +120,6 @@ To add a new repository, the following steps are needed: > sudo /etc/init.d/supervisord restart -Restarting varnish ------------------- - -You may want to restart varnish after a change in the ui. To do so type - - .. code-block:: bash - - > sudo /etc/init.d/varnish restart - Executing arbitrary SQL -----------------------