This repository has been archived by the owner on Sep 28, 2022. It is now read-only.

Fixes #84#113

Merged

yuce merged 1 commit intoFeatureBaseDB:masterfrom yuce:no-diagnostics-on-ci

Feb 5, 2018

+2-2

Commits on Feb 5, 2018

Fixes FeatureBaseDB#84
yuce
committed