Code

[8.19] fix % in Arguments warnings#1862

Code

Merged

Alizter merged 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/branch/_8_19__fix___in_arguments_warningsAlizter/HoTT:ps/branch/_8_19__fix___in_arguments_warningsCopy head branch name to clipboardJun 10, 2024

+77-81

Commits

Commits on Jun 10, 2024

• [8.19] fix % in Arguments warnings

  Show description for 6b07450
  Alizter

  committed
  6b07450