From e9bdfbc7906507289a5ce95fb1704e7cdbbb564c Mon Sep 17 00:00:00 2001 From: Wilmer van der Gaast Date: Sun, 25 Nov 2012 01:05:53 +0000 Subject: Fix documentation for show_ids setting, it's on by default for a while already. --- doc/user-guide/commands.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/user-guide') diff --git a/doc/user-guide/commands.xml b/doc/user-guide/commands.xml index 1f463815..82501261 100644 --- a/doc/user-guide/commands.xml +++ b/doc/user-guide/commands.xml @@ -1352,7 +1352,7 @@ - false + true -- cgit v1.2.3