Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-11-24 19:08:31 -0800 (Sun, 24 Nov 2002)
Revision: 1784
Log message:

      Dumb addition to pseudo-files.
      

Changes	Path
+3 -3	mojavefs/src/uservfs/old/servers/umfs/fs/Makefile
+1 -0	mojavefs/src/uservfs/old/servers/umfs/fs/fs_super.ml
+2 -2	mojavefs/src/uservfs/old/servers/umfs/main/main.ml
+3 -1	mojavefs/src/uservfs/old/servers/umfs/pseudofs/Makefile
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs.ml
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs.mli
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs.mli
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs_super.ml
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs_super.ml
Added	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs_super.mli
Properties	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pfs_super.mli
Deleted	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pseudofs.ml
Deleted	mojavefs/src/uservfs/old/servers/umfs/pseudofs/pseudofs.mli