patch applied (hugs98): place extra header files in base/include instead of trying to mirror the GHC structure
24 Jul
2007
24 Jul
'07
12:28 p.m.
Tue Jul 24 04:42:39 PDT 2007 Ross Paterson <ross@soi.city.ac.uk> * place extra header files in base/include instead of trying to mirror the GHC structure M ./libraries/Makefile.in -8 +9 M ./libraries/tools/make_bootlib -4 +3
6930
Age (days ago)
6930
Last active (days ago)
0 comments
1 participants
participants (1)
-
Ross Paterson