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

Cleanup naming #67

Merged
merged 5 commits into from
Mar 19, 2018
Merged

Cleanup naming #67

merged 5 commits into from
Mar 19, 2018

Commits on Mar 19, 2018

  1. asset -> tokens

    @garious
    garious committed Mar 19, 2018
    Configuration menu
    Copy the full SHA
    265f418 View commit details
    Browse the repository at this point in the history

  2. log -> ledger 

    Free up namespace for traditional runtime logs.
    @garious
    garious committed Mar 19, 2018
    Configuration menu
    Copy the full SHA
    9f9b79f View commit details
    Browse the repository at this point in the history

  3. logger -> recorder 

    Free up namespace for a traditional runtime logger.
    @garious
    garious committed Mar 19, 2018
    Configuration menu
    Copy the full SHA
    64af37e View commit details
    Browse the repository at this point in the history

  4. No longer rename log crate

    @garious
    garious committed Mar 19, 2018
    Configuration menu
    Copy the full SHA
    9238ee9 View commit details
    Browse the repository at this point in the history

  5. Apply renames to docs

    @garious
    garious committed Mar 19, 2018
    Configuration menu
    Copy the full SHA
    e0c8417 View commit details
    Browse the repository at this point in the history