I have no idea if this is a PR you'll consider, so I'll make it and leave judgement up to you.
Obviously we are using paket here, which is fine, but if we're going to do that I think we should make the assumption that some folks don't want to install paket as a global tool (i.e. me). The wonderful folks who created paket created a way to use it without the global tool, via the bootstrapper. This effectively downloads an appropriate paket version and puts it in the .paket directory.
This PR pulls the paket.bootstrapper.exe in, and updates the .gitignore as recommended by paket:
I have no idea if this is a PR you'll consider, so I'll make it and leave judgement up to you.
Obviously we are using paket here, which is fine, but if we're going to do that I think we should make the assumption that some folks don't want to install paket as a global tool (i.e. me). The wonderful folks who created
paket
created a way to use it without the global tool, via the bootstrapper. This effectively downloads an appropriate paket version and puts it in the.paket
directory.This PR pulls the
paket.bootstrapper.exe
in, and updates the.gitignore
as recommended by paket:https://fsprojects.github.io/Paket/installation.html