Skip to content
This repository has been archived by the owner. It is now read-only.

last minute changes #24

Merged
merged 3 commits into from
Jul 9, 2018
Merged

last minute changes #24

merged 3 commits into from
Jul 9, 2018

Commits on Jul 9, 2018

  1. Add vignette title

    @HendrikSchultheis
    HendrikSchultheis committed Jul 9, 2018
    Configuration menu
    Copy the full SHA
    6d26a5b View commit details
    Browse the repository at this point in the history

  2. deleted redundant questions

    @HendrikSchultheis
    HendrikSchultheis committed Jul 9, 2018
    Configuration menu
    Copy the full SHA
    8559210 View commit details
    Browse the repository at this point in the history

  3. removed ,

    @HendrikSchultheis
    HendrikSchultheis committed Jul 9, 2018
    Configuration menu
    Copy the full SHA
    de418b7 View commit details
    Browse the repository at this point in the history