mantis 6489 (fix by Richard Jones)
Mark Shinwell • 9 years ago  
ignore generated files
Damien Doligez • 9 years ago  
Fix PR#6459: update StdlibModules
Jacques Garrigue • 9 years ago  
Fix #6456.
Alain Frisch • 9 years ago  
Bootstrap.
Alain Frisch • 9 years ago  
Makefile factorization
Gabriel Scherer • 9 years ago  
Fix for PR#6441 (Stefan Holdermans)
Gabriel Scherer • 9 years ago  
Typo.
Alain Frisch • 9 years ago  
fix PR#6431 (patch by Benoît Vaugon)
Gabriel Scherer • 9 years ago  
add -patch1 option to ci-build script
Damien Doligez • 9 years ago  
update Changes
Mark Shinwell • 9 years ago  
Changes: typos
Damien Doligez • 9 years ago