A few changes to the modification condition text in config.ml
I made a few changes to the modification condition text in config.ml, partly a test of whether I can do a merge action on my own :)
I made a few changes to the modification condition text in config.ml, partly a test of whether I can do a merge action on my own :)