☰
Dup
Goto
📝
basics1
PT2
/
devtools
/
git
/
howto
07-31 13:46:49
To
Pop
5 lines, 14 words, 214 chars
Monday 2023-07-31 13:46:49
Reset a file
From
this stackoverflow question
git checkout origin/master [filename]