@ -52,6 +52,9 @@ STEP00_B=3ba916584db5485c38ebf2390e8d22bc6d81bf8e
#
STEP00_C=28514476ef8c824c3d189d98f23d0f8d23e496ea
step00() {
git reset --hard
git clean -ffxd
git checkout $STEP00_A
git revert --no-edit $STEP00_B