source: git/m4/default_checking_path.m4

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @4ad5cde   3 years mkoeppe m4/*-check.m4: Check DEFAULTS first, following flint-check.m4 This ... fieker-DuValspielwiese
(add) @605375   3 years mkoeppe m4/default_checking_path.m4: New, use macro SING_DEFAULT_CHECKING_PATH ... fieker-DuValspielwiese
Note: See TracRevisionLog for help on using the revision log.