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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]FETCH_HEAD2017-11-07 01:09 0  
[   ]HEAD2017-07-20 13:00 23  
[DIR]branches/2013-11-19 14:29 -  
[   ]config2018-05-15 23:52 813  
[   ]description2013-11-19 14:29 23  
[   ]git-notifier.log2018-05-20 16:15 504K 
[   ]git-notifier.log.1.gz2017-02-16 11:35 313K 
[DIR]hooks/2017-07-06 15:47 -  
[DIR]info/2018-05-20 16:15 -  
[DIR]objects/2018-05-18 16:00 -  
[   ]packed-refs2018-05-03 16:48 7.9K 
[DIR]refs/2017-11-07 01:15 -  

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