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

Remove tycho #31

Closed
wants to merge 4 commits into from
Closed

Remove tycho #31

wants to merge 4 commits into from

Commits on Mar 20, 2023

  1. Remove tycho

    A simple and naive attempt, but fails
    cstamas committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    88be868 View commit details
    Browse the repository at this point in the history
  2. Fix test

    cstamas committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    6bf3af9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9e3797b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3e6374b View commit details
    Browse the repository at this point in the history