update
This commit is contained in:
parent
25d7db934d
commit
e33ee5d8f3
1 changed files with 3 additions and 0 deletions
|
@ -6,5 +6,8 @@
|
||||||
This page mentioned a --depth option, but no, it was never implemented.
|
This page mentioned a --depth option, but no, it was never implemented.
|
||||||
I have updated this page.
|
I have updated this page.
|
||||||
|
|
||||||
|
If you need something simpler than the basic undo, you can use `git annex
|
||||||
|
proxy` to run eg, a `git revert`.
|
||||||
|
|
||||||
(Deleted a forum thread that duplicated the previous comment.)
|
(Deleted a forum thread that duplicated the previous comment.)
|
||||||
"""]]
|
"""]]
|
||||||
|
|
Loading…
Reference in a new issue