On Mon, Sep 11, 2017 at 9:48 PM, Julian Hyde <[email protected]> wrote:
> The options Ted is thinking of are: > > -Dcheckstyle.skip > -DskipTests > It is sooo cool to have well-informed people around! Thanks Julian.
On Mon, Sep 11, 2017 at 9:48 PM, Julian Hyde <[email protected]> wrote:
> The options Ted is thinking of are: > > -Dcheckstyle.skip > -DskipTests > It is sooo cool to have well-informed people around! Thanks Julian.