-rw-r--r--  1 rsc  users    439 Mar 17  2010 INDEX
-rw-r--r--  1 rsc  users   1817 Mar 17  2010 getflags.8
-rw-r--r--  1 rsc  users    642 Mar 17  2010 listen1.8
-rw-r--r--  1 rsc  users   3358 Jul 18  2012 mkfs.8
-rw-r--r--  1 rsc  users   7922 Mar 17  2010 vbackup.8
-rw-r--r--  1 rsc  users   2289 Jun  4  2011 venti-backup.8
-rw-r--r--  1 rsc  users   8678 Jun  8  2011 venti-fmt.8
-rw-r--r--  1 rsc  users  12579 Jul 15  2012 venti.8