tree 4398cdc06b87539ef268c0ad0bd71bba628637af
parent 602b2f0d450236a7e4d1b5bc1532a092b0a3129f
author Robin Rosenberg <robin.rosenberg@dewire.com> 1314457106 +0200
committer Robin Rosenberg <robin.rosenberg@dewire.com> 1314457390 +0200

Use the appropriate constant for ".git"

We have two constants with the same content. DOT_GIT is intended
for the git repository below the work tree, while DOT_GIT_EXT is
the ".git" directory extension usually associated with bare
repositories.

Change-Id: I0946b4beb2d1c3af289ddbbb5641d2f4e4c49d3f
Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>