Graeme Geldenhuys schrieb:
Good news for those using the Git mirror repository. I just found out that git has a "really clean" option.git clean -d -x -f -d Delete untracked directories too -x Do not use the git ignore file rules -f Force a "yes to all" to remove all untracked files.
This is unusable if there is only a single file that should *not* be deleted.
Now we have one feature that may delete less than it should, and one feature that may delete more than it should. Real life may reside somewhere in between these extremes...
DoDi -- _______________________________________________ Lazarus mailing list [email protected] http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
