Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Convert all RawGit links to Statically
I just found out that RawGit will be shutting down. The maintainer already announced this in 2018; we have been very lucky that the docs continued working until now.
- Loading branch information