<shameless-plug> PDE Source Lookup (https://marketplace.eclipse.org/content/pde-source-lookup), can automatically (lazily) discover plugin sources when missing. it's fast, you can request to download all sources of a given Plugin classpath container if you want (for offline use), all sources are cached locally. </shameless-plug>
Fred Bricon On Thu, Jan 19, 2023 at 4:24 PM Mickael Istria <mist...@redhat.com> wrote: > > > On Thu, Jan 19, 2023 at 4:20 PM Ed Willink <ed.will...@gmail.com> wrote: > >> Is this serious or have I totally misunderstood? >> > > Both. > _______________________________________________ > cross-project-issues-dev mailing list > cross-project-issues-dev@eclipse.org > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev > -- "Have you tried turning it off and on again" - The IT Crowd And if that fails, then http://goo.gl/tnBgH5
_______________________________________________ cross-project-issues-dev mailing list cross-project-issues-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
