Commit dce31a1b authored by MARCHE Claude's avatar MARCHE Claude

reading config

parent a4385564
......@@ -149,8 +149,10 @@ let save_config t =
save_config config
let config =
eprintf "reading IDE config file@.";
read_config ()
eprintf "reading IDE config file...@?";
let c= read_config () in
eprintf " done.@.";
let save_config () = save_config config
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment