diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-28 16:12:34 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-28 16:12:34 -0700 |
| commit | 3813179e83e48a82f55d369bc9014bfb64ef6d00 (patch) | |
| tree | fea7eaaee928db8f07bfd45276ae05ff59c8fd34 /tools | |
| parent | 8ecdcf60123cdc8c80995de94214a4aa7aa1afb7 (diff) | |
Clarified build requirements for spec.html, spec.pdf.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions