From 93fe38719bc5f37ef0021528e14f5aee6bdbc8bb Mon Sep 17 00:00:00 2001
From: Matt Wala <wala1@illinois.edu>
Date: Tue, 26 May 2020 19:07:32 +0200
Subject: [PATCH] Remove reference to ref_naming page

---
 doc/index.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/index.rst b/doc/index.rst
index f3f0bd59b..b77bbb16f 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -69,7 +69,6 @@ Please check :ref:`installation` to get started.
     ref_kernel
     ref_transform
     ref_other
-    ref_naming
     misc
 
 Indices and tables
-- 
GitLab