Re: [ide-dev] Survey results

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [ide-dev] Survey results

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Mon, 09 Dec 2013 17:08:19 +0100
Delivered-to: ide-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/ide-dev>
List-help: <mailto:ide-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.1.1

On 12/09/2013 05:04 PM, Gunnar Wagenknecht wrote:

I like this proposal from John. and I’m happy to provide a patch for EPP to set these defaults.

I like John's proposal too.

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets

References:
- [ide-dev] Survey results
  - From: Ian Skerrett
- Re: [ide-dev] Survey results
  - From: Mickael Istria
- Re: [ide-dev] Survey results
  - From: Ian Skerrett
- Re: [ide-dev] Survey results
  - From: Mickael Istria
- Re: [ide-dev] Survey results
  - From: John Arthorne
- Re: [ide-dev] Survey results
  - From: Gunnar Wagenknecht

Prev by Date: Re: [ide-dev] Survey results
Next by Date: Re: [ide-dev] Survey results
Previous by thread: Re: [ide-dev] Survey results
Next by thread: Re: [ide-dev] Survey results
Index(es):
- Date
- Thread

Back to the top