patch applied (hat): Fix more foreign imports to mention the appropriate header file.
10 Oct
2006
10 Oct
'06
7:32 a.m.
Tue Nov 22 05:06:04 PST 2005 malcolm * Fix more foreign imports to mention the appropriate header file. M ./src/hattools/NonTermLib.hs -6 +6 M ./src/hattools/nontermutils.h +5
6798
Age (days ago)
6798
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace