[PATCH htdocs] current: use tabs for gitconfig settings

[Mike Frysinger <vapier@gentoo.org>]

Since git itself prefers tabs to indent, use them here too.  This makes
copy & paste "just work", and people/editors that really wants spaces
and never tabs will most likely auto-convert to their preferred indent
level.

Rendering-wise, it's unchanged as HTML/CSS default to 8-space tab stops.
This will allow us to scale the tab size based on the device's size in a
follow up change to make it more readable -- raw spaces wouldn't.
---
 current/index.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/current/index.html b/current/index.html
index 66dc5a82b999..db78d46f9075 100644
--- a/current/index.html
+++ b/current/index.html
@@ -82,16 +82,16 @@ For example, you might have:
 
 <pre>
 [remote "origin"]
-        url = https://sourceware.org/git/binutils-gdb.git
-        fetch = +refs/heads/*:refs/remotes/origin/*
+	url = https://sourceware.org/git/binutils-gdb.git
+	fetch = +refs/heads/*:refs/remotes/origin/*
 </pre>
 
 And you would edit this to use "ssh:" rather than "https:":
 
 <pre>
 [remote "origin"]
-        url = ssh://sourceware.org/git/binutils-gdb.git
-        fetch = +refs/heads/*:refs/remotes/origin/*
+	url = ssh://sourceware.org/git/binutils-gdb.git
+	fetch = +refs/heads/*:refs/remotes/origin/*
 </pre>
 
 Alternatively, to check out a new read-write copy of the repository,
-- 
2.43.0