USe new API for targets().
authorMike Taylor <mike@indexdata.com>
Fri, 22 Sep 2006 15:27:17 +0000 (15:27 +0000)
committerMike Taylor <mike@indexdata.com>
Fri, 22 Sep 2006 15:27:17 +0000 (15:27 +0000)
This requires a different command-line.


No differences found