diff options
| author | Isaac Dupree <id@isaac.cedarswampstudios.org> | 2009-07-20 15:37:18 +0000 |
|---|---|---|
| committer | Isaac Dupree <id@isaac.cedarswampstudios.org> | 2009-07-20 15:37:18 +0000 |
| commit | 1e116a2c7c6f729775e99183778a2909df046622 (patch) | |
| tree | 97112b7a3e385eb00f100f37078878dadacdbf93 /doc/config.mk.in | |
| parent | 686ae19c4fb3d17e2d01335764b44126329e75cd (diff) | |
Implement GADT records in HTML backend
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions