Skip to content

Commit

Permalink
Merge pull request #116 from mit-plv/dependabot/submodules/etc/coq-sc…
Browse files Browse the repository at this point in the history 
…ripts-e4d9e81

Bump etc/coq-scripts from `5876e80` to `e4d9e81`
  • Loading branch information
@samuelgruetter
samuelgruetter committed May 12, 2024
2 parents 92bae53 + cf5cf65 commit b8f35dc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion etc/coq-scripts
Submodule coq-scripts updated 1 files
+34 −14 github/reportify-coq-errors-gen.sh

0 comments on commit b8f35dc

Please sign in to comment.