Re: [RFC] Remove ARI GNU/Linux rule

Tom Tromey
2013-02-06T16:08:40Z

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

Pierre> As announced in the previous email,
Pierre> I would like to rediscuss the question
Pierre> about removing the GNU/Linux rule.

It is fine by me.

Tom