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

Issue #3001987 by mbovan, miro_dietiker, chr.fritsch: Do not use own design #38

Merged
merged 5 commits into from Oct 2, 2018

Commits on Oct 1, 2018

  1. Configuration menu
    Copy the full SHA
    a61ed1a View commit details
    Browse the repository at this point in the history
  2. Interdiff 13

    chrfritsch committed Oct 1, 2018
    Configuration menu
    Copy the full SHA
    c3b420b View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2018

  1. Configuration menu
    Copy the full SHA
    7bf7113 View commit details
    Browse the repository at this point in the history
  2. 16

    chrfritsch committed Oct 2, 2018
    Configuration menu
    Copy the full SHA
    f968b6c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6ce39c4 View commit details
    Browse the repository at this point in the history