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

Rename TyS.sty to TyS.kind #64513

Merged
merged 5 commits into from
Sep 26, 2019
Merged

Rename TyS.sty to TyS.kind #64513

merged 5 commits into from
Sep 26, 2019

Commits on Sep 25, 2019

  1. Rename non-TyS uses of sty

    @varkor
    varkor committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    2808a46 View commit details
    Browse the repository at this point in the history

  2. Rename sty to kind

    @varkor
    varkor committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    e2e0f9a View commit details
    Browse the repository at this point in the history

  3. Rename surviving uses of sty

    @varkor
    varkor committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    bd5adc5 View commit details
    Browse the repository at this point in the history

  4. Fix rebase

    @varkor
    varkor committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    93df1bb View commit details
    Browse the repository at this point in the history

  5. Fix fallout

    @varkor
    varkor committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    bc2a373 View commit details
    Browse the repository at this point in the history