Skip to content
This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

Reduced binary size #1221

Merged
merged 2 commits into from
Aug 12, 2022
Merged

Reduced binary size #1221

merged 2 commits into from
Aug 12, 2022

Commits on Aug 11, 2022

  1. Reduced binary size

    @jorgecarleitao
    jorgecarleitao committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    8dcb175 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2022

  1. Clippy

    @jorgecarleitao
    jorgecarleitao committed Aug 12, 2022
    Configuration menu
    Copy the full SHA
    c06b0e4 View commit details
    Browse the repository at this point in the history