3 ms·
It has even saved me when I managed to delete a file not checked in yet. Just recreate the file with the same name, and then local history is available (or poss
by matsemann 6y ago
It has even saved me when I managed to delete a file not checked in yet. Just recreate the file with the same name, and then local history is available (or possibly local history on the parent folder would find it as well)