Code

Suppress 2 "From Stdlib" warnings#118

Code

Merged

Villetaneuse merged 1 commit intocoq:mastercoq/stdlib:masterfrom Villetaneuse:from_stdlib_warningsVilletaneuse/stdlib:from_stdlib_warningsCopy head branch name to clipboardMar 10, 2025

Commits

Commits on Mar 10, 2025

• Suppress 2 "From Stdlib" warnings

  Show description for ffef1ba
  Villetaneuse

  committed
  ffef1ba

  Copy full SHA for ffef1ba