|
|
|
|
|
|
by dozzie
3588 days ago
|
|
|
> amelius is mentioning an alternative to the hacky "git undo", not an alternative to git. Ah, so I misunderstood. Still, changing the filesystem under $HOME (or whatever is the working directory) is more difficult than using some user-level tool. |
|
|