Skip to content
Snippets Groups Projects
user avatar
Lionel GUEZ authored
Use `e_overestim.txt` instead of `node_id_param.json`. Since commit
43d2eff6, we wrote only `e_overestim` to the JSon file. Simpler to
write the value alone in a text file.
8e6ce479
History