Thanks for responding.
Pkg.checkout("Atom") gives me the error:
ERROR: Atom is not a git repo
in checkout at pkg/entry.jl:203
in anonymous at pkg/dir.jl:31
in cd at file.jl:22
in cd at pkg/dir.jl:31
in checkout at pkg.jl:37
(I originally did try using Pkg.checkout as per the instructions, but got
this error, and so went with Pkg.add instead).
Any thoughts or is this a bug?
Cheers,
Colin
On Wednesday, 28 October 2015 11:23:30 UTC+11, Jonathan Malmaud wrote:
>
> You want to be on the master versions:
>
> Pkg.checkout("Atom")
> Pkg.checkout("CodeTools")
>
