New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update index.html #366

Merged

ViralBShah merged 1 commit into JuliaLang:master from musm:patch-1

May 9, 2019

Contributor

musm commented May 9, 2019 •

edited

Can we also remove the extensions?


          Update index.html

21ce97f

Member

ViralBShah commented May 9, 2019

This is good. But let's keep the extensions.

ViralBShah merged commit 8488d35 into JuliaLang:master

musm deleted the patch-1 branch

May 9, 2019 15:08

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment