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

remove duplicated arm and fix version index #6884

Merged
merged 4 commits into from
Mar 16, 2023
Merged

remove duplicated arm and fix version index #6884

merged 4 commits into from
Mar 16, 2023

Commits on Mar 15, 2023

  1. remove duplicated arm

    @xlc
    xlc committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    9710d1d View commit details
    Browse the repository at this point in the history

  2. annotate the version index

    @xlc
    xlc committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    fb761d3 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2023

  1. add tests

    @xlc
    xlc committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    f8fe992 View commit details
    Browse the repository at this point in the history

  2. fmt

    @xlc
    xlc committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    9ecd00f View commit details
    Browse the repository at this point in the history