diff options
author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-11-25 17:54:19 -0500 |
---|---|---|
committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-11-25 18:14:28 -0500 |
commit | 81eb417ad423ef7e8d088d517f89d3bda92f9c06 (patch) | |
tree | db53feff215340a928c697b7111592e22a59bd8f /arm | |
parent | user-manual: define "branch" and "working tree" at start (diff) | |
download | tgif-81eb417ad423ef7e8d088d517f89d3bda92f9c06.tar.xz |
user-manual: failed push to public repository
More details on the case of a failed push to a public (non-shared)
repository.
Signed-off-by: J. Bruce Fields <bfields@citi.umich.edu>
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions