Re: [eclipse-dev] Platform tips and tricks wiki created

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

Re: [eclipse-dev] Platform tips and tricks wiki created

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Mon, 11 Jun 2018 20:37:21 +0200
Delivered-to: eclipse-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/eclipse-dev>
List-help: <mailto:eclipse-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/eclipse-dev>, <mailto:eclipse-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/eclipse-dev>, <mailto:eclipse-dev-request@eclipse.org?subject=unsubscribe>

On Mon, Jun 11, 2018 at 6:03 PM, Daniel Megert <daniel_megert@xxxxxxxxxx> wrote:

Hereare tons to pick from.

I suggest we replace the wiki page by a documentation about how to contribute to this list, and create a dedicated TipProvider that reads this list directly to present it in the Tip of the Day dialog (with other tip providers).

Follow-Ups:
- Re: [eclipse-dev] Platform tips and tricks wiki created
  - From: Wim Jongman
- Re: [eclipse-dev] Platform tips and tricks wiki created
  - From: Lars Vogel

References:
- [eclipse-dev] Platform tips and tricks wiki created
  - From: Lars Vogel
- Re: [eclipse-dev] Platform tips and tricks wiki created
  - From: Daniel Megert

Prev by Date: Re: [eclipse-dev] Platform tips and tricks wiki created
Next by Date: Re: [eclipse-dev] Platform tips and tricks wiki created
Previous by thread: Re: [eclipse-dev] Platform tips and tricks wiki created
Next by thread: Re: [eclipse-dev] Platform tips and tricks wiki created
Index(es):
- Date
- Thread

Breadcrumbs