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