Index of /users/knauel/sw/fffi/_darcs

      Name                    Last modified       Size  Description


[DIR] Parent Directory        02-Dec-2005 20:45      -  
[DIR] checkpoints/            15-Feb-2005 18:19      -  
[DIR] current/                04-May-2005 14:44      -  
[DIR] inventories/            15-Feb-2005 18:19      -  
[DIR] patches/                04-May-2005 14:44      -  
[DIR] prefs/                  12-Apr-2005 09:40      -  
[   ] lock                    09-Jun-2005 23:16     0k  
[   ] inventory               04-May-2005 14:44    13k
Apache/1.3.33 Server at www-pu.informatik.uni-tuebingen.de Port 80