From 5afa6813883ff13010f41f3a6ee00ac9de453c77 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sun, 26 May 2024 12:56:29 -0700 Subject: [PATCH] Remove redundant github button --- doc/index.rst | 5 ----- 1 file changed, 5 deletions(-) diff --git a/doc/index.rst b/doc/index.rst index 8d55c7a1..4e50c18d 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -191,8 +191,3 @@ using the library both in open-source and commercial projects. .. raw:: html GitHub Repository - -