tree 7207f1ac6272ecded6e3142ed3efa3b634df7d00
parent c0d38ef72324bedffdc66096b6a9de705539a9ae
author Johannes Schindelin <johannes.schindelin@gmx.de> 1263062005 +0100
committer Karsten Blees <blees@dcon.de> 1408150776 +0200

When initializing .git/, record the current setting of core.hideDotFiles

This is on Windows only, of course.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>