From 699660b497724a5282d23dea0f5283175e405865 Mon Sep 17 00:00:00 2001
From: Junio C Hamano
Date: Wed, 29 Nov 2006 20:40:10 +0000
Subject: [PATCH] Autogenerated HTML docs for v1.4.4.1-gaed4
---
git-repo-config.html | 18 +++++++++++++++++-
git-repo-config.txt | 6 ++++++
tutorial.html | 29 +++++++++++++++++++++++------
tutorial.txt | 29 ++++++++++++++++++++++++-----
4 files changed, 70 insertions(+), 12 deletions(-)
diff --git a/git-repo-config.html b/git-repo-config.html
index 6c0011bd3..f6bcb40d7 100644
--- a/git-repo-config.html
+++ b/git-repo-config.html
@@ -406,6 +406,22 @@ you use --global option without $HOME being properly set.
List all variables set in config file.
+
+--bool
+
+
+
+ git-repo-config will ensure that the output is "true" or "false"
+
+
+
+--int
+
+
+
+ git-repo-config will ensure that the output is a simple decimal number
+
+
ENVIRONMENT
@@ -1117,7 +1133,7 @@ receive.denyNonFastForwards