diff options
-rw-r--r-- | bin/Robust.HG.ini.example | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/Robust.HG.ini.example b/bin/Robust.HG.ini.example index 3335120..0f9bb4b 100644 --- a/bin/Robust.HG.ini.example +++ b/bin/Robust.HG.ini.example | |||
@@ -70,6 +70,9 @@ | |||
70 | ; How many lines of command history should we keep? (default is 100) | 70 | ; How many lines of command history should we keep? (default is 100) |
71 | ConsoleHistoryFileLines = 100 | 71 | ConsoleHistoryFileLines = 100 |
72 | 72 | ||
73 | ; Time stamp commands in history file (default false) | ||
74 | ; ConsoleHistoryTimeStamp = false | ||
75 | |||
73 | ; peers SSL certificate validation options | 76 | ; peers SSL certificate validation options |
74 | ; you can allow selfsigned certificates or no official CA with next option set to true | 77 | ; you can allow selfsigned certificates or no official CA with next option set to true |
75 | NoVerifyCertChain = true | 78 | NoVerifyCertChain = true |