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

Sequential Supervisor #186

Merged
merged 32 commits into from
Nov 2, 2020
Merged

Sequential Supervisor #186

merged 32 commits into from
Nov 2, 2020

Commits on Sep 9, 2020

  1. Configuration menu
    Copy the full SHA
    138dc0f View commit details
    Browse the repository at this point in the history
  2. markdown lint

    tac0turtle committed Sep 9, 2020
    Configuration menu
    Copy the full SHA
    77ed97e View commit details
    Browse the repository at this point in the history
  3. TODO links replaced

    josef-widder committed Sep 9, 2020
    Configuration menu
    Copy the full SHA
    3d6a023 View commit details
    Browse the repository at this point in the history
  4. links

    josef-widder committed Sep 9, 2020
    Configuration menu
    Copy the full SHA
    d16a4a1 View commit details
    Browse the repository at this point in the history
  5. links

    josef-widder committed Sep 9, 2020
    Configuration menu
    Copy the full SHA
    e539705 View commit details
    Browse the repository at this point in the history
  6. links lint

    josef-widder committed Sep 9, 2020
    Configuration menu
    Copy the full SHA
    7365e46 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2020

  1. Configuration menu
    Copy the full SHA
    cfcc61e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    99b3061 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    82607f3 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3f968c6 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    646ee31 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2020

  1. polishing

    josef-widder committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    fe59c67 View commit details
    Browse the repository at this point in the history
  2. rename

    josef-widder committed Sep 29, 2020
    Configuration menu
    Copy the full SHA
    fdcb4f8 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c71a84b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    05bf5aa View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2020

  1. Configuration menu
    Copy the full SHA
    60d2c4b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3524775 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2020

  1. start of supervisor

    josef-widder committed Oct 18, 2020
    Configuration menu
    Copy the full SHA
    d9ccde4 View commit details
    Browse the repository at this point in the history
  2. module name

    josef-widder committed Oct 18, 2020
    Configuration menu
    Copy the full SHA
    9ace83c View commit details
    Browse the repository at this point in the history
  3. fixed

    josef-widder committed Oct 18, 2020
    Configuration menu
    Copy the full SHA
    e59bc88 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2020

  1. more details

    josef-widder committed Oct 19, 2020
    Configuration menu
    Copy the full SHA
    ba370b4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c2d90a4 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2020

  1. ready for review

    josef-widder committed Oct 20, 2020
    Configuration menu
    Copy the full SHA
    fab9341 View commit details
    Browse the repository at this point in the history
  2. tla comment

    josef-widder committed Oct 20, 2020
    Configuration menu
    Copy the full SHA
    5b2fb77 View commit details
    Browse the repository at this point in the history
  3. removed issues

    josef-widder committed Oct 20, 2020
    Configuration menu
    Copy the full SHA
    604f32f View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2020

  1. Configuration menu
    Copy the full SHA
    3ce6174 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2020

  1. intro text fixed

    josef-widder committed Nov 2, 2020
    Configuration menu
    Copy the full SHA
    06bae5e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    19a3cfd View commit details
    Browse the repository at this point in the history
  3. indentation

    josef-widder committed Nov 2, 2020
    Configuration menu
    Copy the full SHA
    6d018a8 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    aa8f594 View commit details
    Browse the repository at this point in the history
  5. comment to entry points

    josef-widder committed Nov 2, 2020
    Configuration menu
    Copy the full SHA
    6434252 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    db1a53f View commit details
    Browse the repository at this point in the history