aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/HiddenInstancesA.hs
diff options
context:
space:
mode:
authorIan Lynagh <ian@well-typed.com>2013-05-19 20:47:49 +0100
committerIan Lynagh <ian@well-typed.com>2013-05-19 20:47:49 +0100
commitd15913bfcf44791a6c7668482dbc85d0e9102bb5 (patch)
tree8aeab54aefb6651883f95e66eba3dd55ca2c3062 /html-test/src/HiddenInstancesA.hs
parent74c66f5e30f9bb28cf45809958201680b186aeb0 (diff)
Use "cp -L" when making $(INPLACE_LIB)/latex too
Diffstat (limited to 'html-test/src/HiddenInstancesA.hs')
0 files changed, 0 insertions, 0 deletions