diff options
| author | Joey Hess <joey@kitenet.net> | 2014-08-19 17:54:49 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-08-19 17:54:49 -0400 |
| commit | d289a222d5915e9307e0e7a9a51f342942a2fe2d (patch) | |
| tree | a3fb1e70ba76ea98d97c2f5e4435ce1ccd090861 /src/Utility/QuickCheck.hs | |
| parent | adf8b2ec34d5daec0eb3b060681cce6eceb6238d (diff) | |
simpler merge
Ah, we've checked out the oldref, so can just merge the newref in and get a
branch that is suitable for mergeing into the user's repo. No need for
manual diff, which can fail on eg, binaries or no changes.
Diffstat (limited to 'src/Utility/QuickCheck.hs')
0 files changed, 0 insertions, 0 deletions