search

jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

Log git commit hashes of dependencies #29

Closed jcreedcmu closed 5 months ago

jcreedcmu commented 5 months ago

In case we need to debug in the future and it's unclear which branch state something came from.

jcreedcmu commented 5 months ago

image