Open jelmd opened 3 years ago
fix docs/repo-boostrap.md (ref to the helper script in an old, stale ast clone repo) and add the helper script to this repo.
fix docs/repo-boostrap.md (ref to the helper script in an old, stale ast clone repo) and add the helper script to this repo.