diff options
author | Joey Hess <joey@kitenet.net> | 2010-10-12 02:00:29 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-10-12 02:00:29 -0400 |
commit | c8002bd91b03b66c195014ecaa9111c50fa5e716 (patch) | |
tree | 444f5ecfe5b5defcdfc499d22f5d1dd59341f6d4 /GitRepo.hs | |
parent | eea55856e9db85884a7fb28ce1b408fdbc05f90f (diff) |
update
Diffstat (limited to 'GitRepo.hs')
-rw-r--r-- | GitRepo.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/GitRepo.hs b/GitRepo.hs index fb3ddbaf8..27fc0632c 100644 --- a/GitRepo.hs +++ b/GitRepo.hs @@ -31,7 +31,9 @@ import Network.URI import Maybe import Utility -{- A git repository can be local or remote. -} +{- A git repository can be on local disk or remote. Not to be confused + - with a git repo's configured remotes, some of which may be on local + - disk. -} data GitRepo = LocalGitRepo { top :: FilePath, |