diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 22:56:17 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 22:56:17 -0800 |
| commit | 620c3756a0c456e023045cb04b9d6b083415f4fd (patch) | |
| tree | a1332e3f36f33504681bde700cb1c7b4185374a8 /tools | |
| parent | 9584c98612fcd797a67a0a1cbf0dff702dd0114d (diff) | |
Removed website-specific stuff in Makefile.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions