chiark / gitweb /
reset age whenever we change a hyperrect
authorstevenj <stevenj@alum.mit.edu>
Thu, 30 Aug 2007 03:01:26 +0000 (23:01 -0400)
committerstevenj <stevenj@alum.mit.edu>
Thu, 30 Aug 2007 03:01:26 +0000 (23:01 -0400)
commit1a29f684d6aa06e9629c766858cf9dfd6b092341
tree2069ddd491a2750d40f426a1b5895210fa669edc
parentea2b3ef9901f456ae2266757712c744c54526f67
reset age whenever we change a hyperrect

darcs-hash:20070830030126-c8de0-b7e915fb8c8e628b8a2eb186e2df4c44b5c634a5.gz
cdirect/cdirect.c