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

Errors improvements #710

Merged
merged 2 commits into from
May 31, 2019
Merged

Errors improvements #710

merged 2 commits into from
May 31, 2019

Commits on May 31, 2019

  1. general improvements in the error reporting

    @NicolasDP
    NicolasDP committed May 31, 2019
    Configuration menu
    Copy the full SHA
    59e9e60 View commit details
    Browse the repository at this point in the history

  2. remove debug prints

    @NicolasDP
    NicolasDP committed May 31, 2019
    Configuration menu
    Copy the full SHA
    900e82e View commit details
    Browse the repository at this point in the history