deepu105
commented
6 years ago @jdubois did you already switch jh online to use the gh-pages branch from this? If so we can delete the other branch
Closed pascalgrimaud closed 6 years ago
deepu105
commented
6 years ago @jdubois did you already switch jh online to use the gh-pages branch from this? If so we can delete the other branch
@jdubois : as discussed at Onboarding, we should put these options in comment