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)
commit2ccb62a61acf82320a01e31e666c82b9783436c8
treed9869f99c0b8d4921363320ddcb8b3e0a6e91c3e
parent75a7ddb65a8ba8f7d9127de6bc0f4ec62cc68c3c
Use new API for targets().
web/htdocs/details/all.mc