Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
IO.ml
Find file
Blame
History
Permalink
Updated [IO.exhaust].
· 852de855
POTTIER Francois
authored
Dec 11, 2014
Modified [PreFront.read_whole_file] to use [IO.exhaust].
852de855