https://gitorious.org/parmap/parmap.git
Revision 7d7774e8e97019dd837b7a1fc879719ff9e423ee authored by Roberto Di Cosmo on 28 July 2011, 15:07:21 UTC, committed by Roberto Di Cosmo on 28 July 2011, 15:07:21 UTC
1 parent 7fbaa70
Tip revision: 7d7774e8e97019dd837b7a1fc879719ff9e423ee authored by Roberto Di Cosmo on 28 July 2011, 15:07:21 UTC
Cleaned up the code, and adjusted the size of the mmap to the size of the file.
Cleaned up the code, and adjusted the size of the mmap to the size of the file.
Tip revision: 7d7774e
Computing file changes ...