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