comparison Makefile @ 18284:e4be4e2ac814

discovery: drop the visibleheads function It has no users left. (Using filtering explicitly is easier.)
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Sun, 06 Jan 2013 04:50:14 +0100
parents 7c9b07f0da73
children 4723ccb62282
comparison
equal deleted inserted replaced
18283:ac25d75970c8 18284:e4be4e2ac814