Add test target for figfs_test.master
[figfs.git] / figfs / 
tree72f3647a2ffd9f3d615781f02829c342a95f1353
drwxr-xr-x   ..
-rw-r--r-- 2766 Makefile
-rw-r--r-- 1657 command.ml
-rw-r--r-- 1003 command.mli
-rw-r--r-- 30747 figfs.ml
-rw-r--r-- 821 figfs.mli
-rw-r--r-- 805 figfs_mount.ml
-rw-r--r-- 896 figfs_test.ml
-rw-r--r-- 2868 figfs_tool.ml
-rw-r--r-- 16023 workspace.ml
-rw-r--r-- 1621 workspace.mli