Code

distribute configure, aclocal.m4#1492

Code

Closed

mezzarobba wants to merge 1 commit intoflintlib:trunkflintlib/flint:trunkfrom mezzarobba:distribute-configuremezzarobba/flint:distribute-configureCopy head branch name to clipboard

+11-3

Commits

Commits on Oct 11, 2023

• distribute files generated by ./bootstrap

  mezzarobba

  committed
  e91c6b2

  Copy full SHA for e91c6b2