Use new API for targets().
authorMike Taylor <mike@indexdata.com>
Fri, 22 Sep 2006 15:39:14 +0000 (15:39 +0000)
committerMike Taylor <mike@indexdata.com>
Fri, 22 Sep 2006 15:39:14 +0000 (15:39 +0000)
commit515da18a8c679b5156b5251860b5e2f6c9da3e31
tree826aa794c5eb6242699aa197622654a4ec36cc9a
parent9fd522a36435bca48dcca9116df769072831cd46
Use new API for targets().
web/htdocs/details/all.mc