Skip to content
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

Add citation button #1095

Closed
wants to merge 4 commits into from
Closed

Add citation button #1095

wants to merge 4 commits into from

Commits on Nov 25, 2020

  1. Added markdown to clipboard button

    @mjpost
    mjpost committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    8d50f95 View commit details
    Browse the repository at this point in the history

  2. Added venue to markdown citation

    @mjpost
    mjpost committed Nov 25, 2020
    Configuration menu
    Copy the full SHA
    81260a1 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2020

  1. temporary commit

    @mjpost
    mjpost committed Nov 29, 2020
    Configuration menu
    Copy the full SHA
    9461beb View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2021

  1. Merge branch 'master' into markdown

    @mbollmann
    mbollmann committed Jun 14, 2021
    Configuration menu
    Copy the full SHA
    347046f View commit details
    Browse the repository at this point in the history