Repository navigation

Run regen-configure script if available - #87

Merged

Yhg1s merged 1 commit into

python:masterfrom

sethmlarson:make-regen-configure-fix

Feb 6, 2024

Merged

Run regen-configure script if available#87
Yhg1s merged 1 commit into
python:masterfrom
sethmlarson:make-regen-configure-fix

Commits on Feb 5, 2024
- Use regen-configure.sh when available, otherwise fallback to Docker
  sethmlarson
  committed
  cacde86