Re: [PATCH] Display configuration details in --help

Tom Tromey
2013-04-10T19:16:47Z

Pedro> But we shouldn't stale Eli's patch for this.

Yes, I agree.

Tom