summaryrefslogtreecommitdiff
path: root/rebootstrap.sh
AgeCommit message (Expand)Author
2019-01-15And a bit more tweaking: Just git-reset.Ori Bernstein
2019-01-14Make rebootstrapping more robust.Ori Bernstein
2019-01-01Add rebootstrap script to repository.Ori Bernstein