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.