Super,thanks
On Tue, Oct 25, 2016 at 9:19 PM, Julian Hyde wrote:
> I’ve never had the energy to maintain a pre-defined intellij format. But
> frankly I find it easy enough to set up intellij by checking a couple of
> check-boxes. (IIRC, we use pretty much the standard
I’ve never had the energy to maintain a pre-defined intellij format. But
frankly I find it easy enough to set up intellij by checking a couple of
check-boxes. (IIRC, we use pretty much the standard formatting, but disallow
star imports, and indent “case” differently.)
The key thing is to