Philipp Gühring
11/24/2020, 7:50 AMAmr Gouhar
11/24/2020, 1:13 PMmake merge
.Philipp Gühring
11/24/2020, 1:44 PMAmr Gouhar
11/24/2020, 1:54 PMgit status
in case the file was accidentally deleted? Then git checkout -- .
Philipp Gühring
11/24/2020, 3:01 PM