Allow configuring the diff command#227

ddeclerck wants to merge 1 commit intoOCamlPro:gcos4gnucobol-3.xOCamlPro/gnucobol:gcos4gnucobol-3.xfrom

ddeclerck:configurable_diffddeclerck/gnucobol:configurable_diffCopy head branch name to clipboard