This obviously deprecates any need for the old "git-set-dir-times" script, so it's also removed here. |
||
|---|---|---|
| build.sh | ||
| git-set-mtimes | ||
| push.sh | ||
This obviously deprecates any need for the old "git-set-dir-times" script, so it's also removed here. |
||
|---|---|---|
| build.sh | ||
| git-set-mtimes | ||
| push.sh | ||