patch applied (hat): Renamed hat-source -> hat-explore.
10 Oct
2006
10 Oct
'06
7:29 a.m.
Fri Oct 15 11:03:14 PDT 2004 olaf * Renamed hat-source -> hat-explore. M ./configure -1 +1 M ./src/hattools/HatExplore.hs -1 +1 M ./src/hattools/Makefile -5 +5
6800
Age (days ago)
6800
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace