Skip to content
This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Added treating warnings as errors#718

Merged
kuzminrobin merged 1 commit intomainfrom
kuzminrobin/treatWarnAsErr
Jun 8, 2021
Merged

Added treating warnings as errors#718
kuzminrobin merged 1 commit intomainfrom
kuzminrobin/treatWarnAsErr

Commits

Commits on Jun 8, 2021