Daniil Baturin 0280127761 Fix Unix.utimes not working for directories on Win32. (#8796)		2020-11-03 11:03:35 +01:00
..
bigarray	Delete the deprecated Bigarray.*.map_file functions	2019-02-26 11:13:44 +00:00
dynlink	Merge pull request #9840 from dra27/fix-9839	2020-10-30 11:29:17 +01:00
str	Clarify docstring in Str module	2020-10-21 21:36:21 +02:00
systhreads	Merge pull request #9840 from dra27/fix-9839	2020-10-30 11:29:17 +01:00
unix	Unix.setsid: guard against errors (#9958)	2020-10-05 19:20:30 +02:00
win32unix	Fix Unix.utimes not working for directories on Win32. (#8796)	2020-11-03 11:03:35 +01:00
Makefile	Remove Spacetime	2020-10-08 20:28:12 +02:00
Makefile.otherlibs.common	Merge pull request #9840 from dra27/fix-9839	2020-10-30 11:29:17 +01:00