Revision - 7d7774e - Cleaned up the code, and adjusted the size of the mmap to the [...]

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

Cleaned up the code, and adjusted the size of the mmap to the size of the file.

1 parent 7fbaa70

Files
Changes

Permalinks

File	Mode	Size
_tags	-rw-r--r--	26 bytes
parmap.ml	-rw-r--r--	3.7 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...