Makefile (reconfigure): New - SemanticDiff

Commit

2 years ago

Makefile (reconfigure): New

References

#36829 - CI Linux incremental: `make reconfigure` after uninstalling packages

Author

mkoeppe

mkoeppe

Committer

mkoeppe

mkoeppe

Parents

Loading