Changes by: arcady (arcady at unknown.email)
Date: 2005-07-18 16:08:26 -0700 (Mon, 18 Jul 2005)
Revision: 1899
Log message:
add set_global_timer, with dummy implementation, are the types right?
Changes | Path |
+8 -1 | mojavefs/shmem/gc/gcomm.ml |
+1 -0 | mojavefs/shmem/gc/gcomm.mli |