|
|
5fa095f512
|
Updated the ignore list for *.cmi *.cmx and *.cmo files.
|
2008-11-17 00:47:22 +01:00 |
|
|
|
95fba9023c
|
Updated ignore list.
|
2008-03-03 19:13:34 +01:00 |
|
|
|
0e85def15a
|
HG ignore generated documentation and extracted reference files.
|
2008-02-28 10:44:29 +01:00 |
|
|
|
52afdfeba9
|
Added a .hgignore file.
|
2008-02-19 10:48:51 +01:00 |
|
