Skip to content
This repository has been archived by the owner on Oct 4, 2023. It is now read-only.

Dashboard + Wei / Audio types #52

Merged
merged 2 commits into from
Oct 15, 2020
Merged

Dashboard + Wei / Audio types #52

merged 2 commits into from
Oct 15, 2020

Commits on Oct 15, 2020

  1. Add dashboard stuff

    @jowlee @piazzatron
    jowlee authored and piazzatron committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    47c564d View commit details
    Browse the repository at this point in the history

  2. Handle Wei + Audio correctly, use nominal types

    @piazzatron
    piazzatron committed Oct 15, 2020
    Configuration menu
    Copy the full SHA
    847afed View commit details
    Browse the repository at this point in the history