[Cocci] spatch source repo?

Julia Lawall julia at diku.dk
Mon Sep 27 18:19:46 CEST 2010


On Mon, 27 Sep 2010, SF Markus Elfring wrote:

> > Someone in my research group has volunteered to take care of this.
> 
> Which content management system are going to choose for your source files?

git, on github.

julia


More information about the Cocci mailing list