diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-08-14 11:04:29 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-14 11:04:29 -0700 |
commit | be6f518925a5d294e4a9a418f5e5d70fe91b96cb (patch) | |
tree | 173a2b422f5a76015d8d441042f3cc0d7a03e73f /oldtests/Misc/Laziness.html | |
parent | 5d62d4af084d481eca37f66d99586a9712d56b7d (diff) |
Added update-site target to Makefile.
This assumes we've checked out the gh-pages branch as _site.
Diffstat (limited to 'oldtests/Misc/Laziness.html')
0 files changed, 0 insertions, 0 deletions