Skip to content
This repository has been archived by the owner on May 6, 2022. It is now read-only.

Rename Requires to AlphaRequires #862

Merged
merged 2 commits into from
May 17, 2017
Merged

Rename Requires to AlphaRequires #862

merged 2 commits into from
May 17, 2017

Commits on May 17, 2017

  1. Rename Requires to AlphaRequires

    @pmorie
    pmorie committed May 17, 2017
    Configuration menu
    Copy the full SHA
    ea9ddad View commit details
    Browse the repository at this point in the history

  2. Regen code

    @pmorie
    pmorie committed May 17, 2017
    Configuration menu
    Copy the full SHA
    85196f5 View commit details
    Browse the repository at this point in the history