New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

files with headers #82

Open

CohenCyril wants to merge 1 commit into master from new-meta-processing

Member

CohenCyril commented Dec 10, 2020

No description provided.

CohenCyril force-pushed the new-meta-processing branch from a0e1fb7 to 1b52446 Compare

December 10, 2020 12:53


          files with headers

35c1a74

CohenCyril force-pushed the new-meta-processing branch from 1b52446 to 35c1a74 Compare

December 10, 2020 13:23

Member

affeldt-aist commented Jul 4, 2022

master already has a meta.yml file that looks fine to apply the coq-community machinery, maybe this PR should be closed?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet