Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
opam
Find file
Blame
History
Permalink
opam: remove redundant parentheses
· 929d64cc
Ralf Jung
authored
Sep 21, 2017
929d64cc