|Re: [eclipse-dev] Platform tips and tricks wiki created|
_______________________________________________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).
eclipse-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
Back to the top