- Added .git at the end of git clone commands

fdeeb22d · Frank Bergmann · baf77cf6 · fdeeb22d · fdeeb22d
Commit fdeeb22d authored Nov 19, 2020 by Frank Bergmann
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 395 additions and 399 deletions

all-clone.sh tools/all-clone.sh +273 -273

vanilla-clone.sh tools/vanilla-clone.sh +122 -126

No files found.
--- a/tools/all-clone.sh
+++ b/tools/all-clone.sh
--- a/tools/vanilla-clone.sh
+++ b/tools/vanilla-clone.sh