aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorZubin Duggal <zubin@cmi.ac.in>2020-06-09 16:58:22 +0530
committerZubin Duggal <zubin@cmi.ac.in>2020-06-21 21:19:18 +0530
commit45add0d8a39172d17e822b762508685d7b433639 (patch)
tree60fe9c1db01bf65bad43744b6164a7b5cbd38f9c /doc/Makefile
parent02a1def8d147da88a0433726590f8586f486c760 (diff)
Use functions exported from HsToCore
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions