it took me a while to find these instructions.
these work well as they are short, and only download the latest versions of the needed files, while most other ways entail downloading the whole repository, including the whole history, or at least one of these two.
it took me a while to find these instructions. these work well as they are short, and only download the latest versions of the needed files, while most other ways entail downloading the whole repository, including the whole history, or at least one of these two.