Re: [RFA-v5] Add scripts to generate ARI web pages to gdb/contrib/ari directory

Tom Tromey
2012-11-01T19:57:53Z

>>>>> "Pierre" == Pierre Muller <pierre.muller@ics-cnrs.unistra.fr> writes:

Pierre> may I consider that, as only two persons replied,
Pierre> that it is OK to check version 5 in?

Please go ahead.

thanks,
Tom