patch applied (generics): GMap LIGD recoded
15 Feb
2008
15 Feb
'08
9:57 a.m.
Fri Feb 15 02:12:02 PST 2008 patrikj@chalmers.se * GMap LIGD recoded M ./comparison/LIGD/GMap.lhs -57 +8 A ./comparison/LIGD/GMapDef.lhs M ./comparison/log.txt +11
6312
Age (days ago)
6312
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev