6cf8517cab
Google-related files should eventually be moved out of GitHub hosting and onto Google infrastructure (e.g. Git on Borg). When I do this, I should run: ```fish > git grep --ignore-case google (git rev-list --all) ``` To assess the reference I've introduced into this repository. Other tools that should come in handy when I do this are: - git filter-branch - BFG repo-cleaner |
||
---|---|---|
.. | ||
snippets | ||
vendor | ||
wpc | ||
init.el | ||
opam-user-setup.el | ||
tramp |