summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorKshitij Bansal <kshitij@cs.nyu.edu>2014-01-17 09:11:58 -0500
committerKshitij Bansal <kshitij@cs.nyu.edu>2014-01-17 09:11:58 -0500
commit65fb43f8516a85d6420efcacd3c065adde11d2fd (patch)
tree7e4390bd5c42600e692a65f048b1e3b1ca4afd43 /Makefile
parent1e5d35f3867744a5c793985a9a31cdd6149750b7 (diff)
enable search for html doc
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback