aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2021-02-03global_domains.py: allow syncing to a specific Git refJeremy Lin
2020-08-06Add a script to auto-generate the global equivalent domains JSON fileJeremy Lin