Rename to hand-hold git (substitution-goal.hh)

This commit is contained in:
John Ericson 2020-10-12 17:16:25 +00:00
parent f7099965bf
commit e77a2344d5