Skip to content

Introduce the fast_lint make target.#733

Merged
pirat89 merged 2 commits into
oamg:masterfrom
MichalHe:fast_lint
Oct 11, 2021
Merged

Introduce the fast_lint make target.#733
pirat89 merged 2 commits into
oamg:masterfrom
MichalHe:fast_lint

Commits

Commits on Oct 4, 2021