Add a filename and downlod button#2131

saihaj merged 1 commit intographql:sourcegraphql/graphql.github.io:sourcefrom

hasparus:mobile-download-buttonhasparus/graphql.github.io:mobile-download-buttonCopy head branch name to clipboard