[Hs-Generics] patch applied (generics): Added time target to main
Makefile
Oleg Kiselyov
oleg at pobox.com
Mon Jun 18 19:01:51 EDT 2007
Sun Jun 17 05:43:43 PDT 2007 patrikj at chalmers.se
* Added time target to main Makefile
M ./comparison/Makefile +13
M ./comparison/log.txt -2 +2
More information about the Generics
mailing list