diff Makefile @ 12761:11c3c77da62a

discovery: use set instead of dict
author Benoit Boissinot <benoit.boissinot@ens-lyon.org>
date Sun, 17 Oct 2010 19:25:35 +0200
parents deeef07c6e7d
children 57b9fd75b6f8
line wrap: on
line diff