Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
driver
Frontend.ml
Find file
Blame
History
Permalink
Use quoted strings.
· b82ae19b
Bernhard Schommer
authored
Jan 18, 2017
Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872
b82ae19b