Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
a5a1e88 changed the name of the `check-licenses.mojo` file, but this happened internally, and broke the external use of the name. Fix this to account for the new name. Note: - We may want to change `check-docstrings.py` to comply with the new scheme, but we'll save that for later. - This file isn't managed by copybara, so that's why this was subject to said breakage to begin with. Signed-off-by: Joe Loser <[email protected]>
- Loading branch information