diff --git a/docs/tickets.rst b/docs/tickets.rst deleted file mode 100644 index 592f9198f9d7..000000000000 --- a/docs/tickets.rst +++ /dev/null @@ -1 +0,0 @@ -Tickets