Index of /ddc/icebox/ddc-stable.old-darcs/make/targets

	Name	Last modified	Size	Description
	Parent Directory		-
	war.mk	2012-12-21 07:28	3.0K
	tarball.mk	2012-12-21 07:28	473
	runtime.mk	2012-12-21 07:28	2.5K
	proof.mk	2012-12-21 07:28	581
	plate.mk	2012-12-21 07:28	706
	packages.mk	2013-07-26 08:53	945
	lint.mk	2012-12-21 07:28	171
	libs.mk	2012-12-22 11:30	1.2K
	helper.mk	2012-12-21 07:28	210
	external.mk	2012-12-21 07:28	223
	docs.mk	2013-07-26 08:53	2.5K
	ddci-tetra.mk	2013-07-26 08:53	2.2K
	ddci-core.mk	2013-07-26 08:53	2.2K
	ddc-main.mk	2013-07-26 08:53	1.4K
	ddc-check.mk	2013-07-26 08:53	1.4K
	ddc-alpha.mk	2012-12-21 07:28	2.0K
	clean.mk	2012-12-21 07:28	619