At 2017-09-16T17:27:14+02:00, Nicolas Goaziou wrote: > I'm Cc'ing Matt, as the author of klipse integration, for some insight.
I've submitted a new patch with some explanation in a separate message. I hope you will review it. Cheers, Raghu. -- N. Raghavendra <ra...@hri.res.in>, http://www.retrotexts.net/ Harish-Chandra Research Institute, http://www.hri.res.in/
