I'd be happy to review+release changes to get the eclipse plugin in that repo into a good place as long as it doesn't make the build process a great deal more complicated. We don't have many folks internally using eclipse so support hasn't been a priority, but the easier it is to use across common toolchains, the better!
-ck On Mon, Nov 6, 2023, at 06:55, Piotr P. Karwasz wrote: > Hi Gary, > > On Mon, 6 Nov 2023 at 11:45, Gary Gregory <garydgreg...@gmail.com> wrote: > > > > Well, I use Eclipse, so... I won't be using whatever this does or when it > > does it. > > What version of Eclipse do you use? The Eclipse plugin is one class, I > can probably fix it, compile it and release it. > > Piotr >