lasso.git/tools/spatch, branch wip Unnamed repository; edit this file 'description' to name the repository. [tools] add a repository for semantic patches as reference 2010-10-11T16:46:39+00:00 Benjamin Dauvergne bdauvergne@entrouvert.com 2010-10-11T16:46:39+00:00 a6d33dd5fe06eeeda9298cecda35bc7456790f4f