diff options
author | 2011-12-30 18:19:45 -0400 | |
---|---|---|
committer | 2011-12-30 18:19:45 -0400 | |
commit | 56488e807bcc7dcc6e9f5b3e359ddf4f4fb5d8d1 (patch) | |
tree | a875337afbf14f4707c55e62d9e95643266e4ce3 /Git/Ref.hs | |
parent | f2fa29bf3bb3d54b9c4d789b36d04ba693dee53a (diff) |
check that synced/master exists before trying to use it
and a nice error message if syncing is not set up yet
Diffstat (limited to 'Git/Ref.hs')
0 files changed, 0 insertions, 0 deletions