Index of /~abel/repos/AgdaPrelude/_darcs/prefs

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]boring2011-12-13 12:26 2.0K 
[   ]binaries2011-12-13 12:26 703  
[   ]author2011-12-13 12:26 499  
[   ]repos2012-04-02 10:27 98  
[   ]sources2011-12-13 12:26 90  
[   ]prefs2012-01-10 11:55 60  
[   ]defaultrepo2012-02-07 15:41 56  
[   ]motd2011-12-13 12:26 0  

Apache/2.4.62 (Debian) Server at www2.tcs.ifi.lmu.de Port 443