Index of /anonscm/git/coq/coq.git

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]12015-12-08 21:29 82  
[   ]HEAD2013-11-19 15:35 22  
[DIR]branches/2013-11-19 14:29 -  
[   ]config2016-09-27 00:00 717  
[   ]description2013-11-19 14:29 23  
[   ]git-notifier.log2016-12-08 16:04 1.0M 
[DIR]hooks/2015-12-06 09:52 -  
[DIR]info/2016-12-08 16:04 -  
[DIR]objects/2016-12-08 16:04 -  
[   ]packed-refs2016-12-02 17:30 12K 
[DIR]refs/2013-11-19 14:42 -  

Apache/2.4.10 (Debian) Server at scm.gforge.inria.fr Port 443