diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:16:29 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:16:29 -0800 |
commit | 704753ef8a4946eb63e4980b70f7d958fe14302b (patch) | |
tree | a432754379e716931464b0bd8d74dd24f6886ab8 /tools | |
parent | 9fb444cfffefe51967ae93b2dcca5ac2dd283abd (diff) |
Makefile: Removed spec- and website- related parts.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions