Dear all, This is to announce a change regarding the Coccinelle repository on GitHub.
As you may know, so far this repository only contained the Coccinelle releases and did not reflect the precise development history. This has now changed. The repository on GitHub is now a mirror of the main developemnt repository. For those of you who were downloading Coccinelle from GitHub, we recommaend that you remove your current clone of the GitHub repository and do a fresh git clone https://github.com/coccinelle/coccinelle.git Alternatively, if you only need to download and build new versions of Coccinelle as they are released, you can also just download the source code of each release you are interested in from Coccinelle's web site http://coccinelle.lip6.fr Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
