Skip to content

gen_CoqProject: rename 'local-flags' to 'local' since it is different from 'flags'

Ralf Jungrequested to merge
ralf/local-flags into master

@lepigre does this seem reasonable to you?

Merge request reports