Hi,
after cloning the Git repository, you need to execute
git checkout tags/<tag_name>
Cheers
matthias
--
Matthias Waehlisch
. Freie Universitaet Berlin, Inst. fuer Informatik, AG CST
. Takustr. 9, D-14195 Berlin, Germany
.. mailto:
waeh...@ieee.org ..
http://www.inf.fu-berlin.de/~waehl
:. Also:
http://inet.cpt.haw-hamburg.de ..
http://www.link-lab.net
> This electronic message, including attachments, is intended only for the use of the individual or
> company named above or to which it is addressed. The information contained in this message shall
> be considered confidential and proprietary, and may include confidential work product. If you are
> not the intended recipient, please be aware that any unauthorized use, dissemination, distribution
> or copying of this message is strictly prohibited. If you have received this email in error,
> please notify the sender by replying to this message and deleting this email immediately.
>
> --
> You received this message because you are subscribed to the Google Groups "Multicast Proxy" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
>
multicast-pro...@googlegroups.com.
> For more options, visit
https://groups.google.com/d/optout.
>
>