Commit dc3e3ea3 authored by Junio C Hamano's avatar Junio C Hamano

Merge branch 'maint' of git:// into maint

* 'maint' of git://
  user-manual: recovering from corruption
  user-manual: clarify language about "modifying" old commits
  user-manual: failed push to public repository
  user-manual: define "branch" and "working tree" at start
parents f0c4881f 1cdade2c
This diff is collapsed.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment