Code

minor change for camlp5 8.03.00 compat#5

Code

Open

chetmurthy wants to merge 1 commit intosacerdot:mastersacerdot/matita:masterfrom chetmurthy:camlp5-8.03.00-patcheschetmurthy/matita:camlp5-8.03.00-patchesCopy head branch name to clipboard

+1

Commits

Commits on May 4, 2024

• minor change for camlp5 8.03.00 compat

  Show description for 3da9962
  chetmurthy

  committed
  3da9962