Bump etc/coq-scripts from `3be05c7` to `7e68a28` (#39) · mit-plv/rewriter@10c6a00

Commit

Bump etc/coq-scripts from 3be05c7 to 7e68a28 (#39)

Browse files

dependabot[bot] committed Mar 17, 2022

1 parent 3fc0c44 commit 10c6a00

+4 −4		compatibility/Coq__8_14__Compat.v
+1 −1		compatibility/Coq__8_16__Compat.v
+1 −1		compatibility/Coq__master__Compat.v
+4 −4		compatibility/fragments/Grab88v814.v
+3 −1		compatibility/generate-compat-files.sh