Re: Digest for [email protected] - 1 update in 1 topic
"Flemming N. Larsen" <[email protected]> Tue, 25 Oct 2016 21:39:34 +0000
| Newsgroups | gmane.comp.java.robocode |
|---|---|
| Message-ID | <CAHy937v7ncao2OV=jm20Fpub+EZ+8UVxvrek2G5yRsYbhAtpXQ@mail.gmail.com> |
Hi Noppelmax, You are welcome to upload the robocode.jar file 1.9.2.5 to Maven. And yes, the robocode.jar contains the Robocode API. Maven has primarily been used for building Robocode as a complete distribution file (robocode-1.9.x.x-setup.jar). Best regards, - Flemming lør. 22. okt. 2016 kl. 22.12 skrev <[email protected]>: > [email protected] > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/robocode/topics> Google > Groups > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > Topic digest > View all topics > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/robocode/topics> > > - maven <#m_-2686033066088266983_group_thread_0> - 1 Update > > maven > <http://groups.google.com/group/robocode/t/8027402c033cd8f0?utm_source=digest&utm_medium=email> > [email protected]: Oct 21 11:55AM -0700 > > Hi, > > is it possible to update the maven jar from 1.9.2.1 to 1.9.2.5? By the > way, > why are the other jars not in maven? The robocode.jar file is the > robocode.api part, am i right? If you want to, i will upload them to maven > and maintain this part of the project. > > Best regards, > noppelmax > Back to top <#m_-2686033066088266983_digest_top> > You received this digest because you're subscribed to updates for this > group. You can change your settings on the group membership page > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/robocode/join> > . > To unsubscribe from this group and stop receiving emails from it send an > email to [email protected]. > -- You received this message because you are subscribed to the Google Groups "robocode" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.