Add a .gitignore file for git users
Fabrice Le Fessant • 10 years ago  
Better locations.
Alain Frisch • 10 years ago  
#6273: fix.
Alain Frisch • 10 years ago  
Fix PR#6376
Jacques Garrigue • 10 years ago  
[minor] documentation typo in Hashtbl
Gabriel Scherer • 10 years ago  
[minor] improvement over the Hashtbl doc
Gabriel Scherer • 10 years ago  
minor clean-ups
Damien Doligez • 10 years ago  
Simpler variant of commit r14635:
Xavier Leroy • 10 years ago  
Changelog.
Alain Frisch • 10 years ago  
merge COMPFLAGS and OPTCOMPFLAGS
Damien Doligez • 10 years ago  
remove $Id markers
Damien Doligez • 10 years ago  
Doc.
Alain Frisch • 10 years ago  
Fix PR#6371
Jacques Garrigue • 10 years ago  
Doc typo.
Alain Frisch • 10 years ago  
Doc.
Alain Frisch • 10 years ago  
Doc.
Alain Frisch • 10 years ago  
Doc.
Alain Frisch • 10 years ago  
Fix syntax for floating attributes.
Alain Frisch • 10 years ago