diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:10:11 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:10:44 -0800 |
commit | be19ec302584732eca18de162a7eaf5d8649379e (patch) | |
tree | 39a3d64a4f26ea345f33001d8b78610aa7cbde53 /Makefile | |
parent | e7232e399a66ea97ce2ed9303c71ec03245cc172 (diff) |
Removed spec-specific files (DTD, spec generation tools).
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions