Thomas Refis 9fdc759ac0 Centralized tracking of frontend's global state (#9963) ... import Local_store from merlin, with a simplified API following review comments		2020-10-15 14:47:19 +02:00
..
bigarray	Delete the deprecated Bigarray.*.map_file functions	2019-02-26 11:13:44 +00:00
dynlink	Centralized tracking of frontend's global state (#9963)	2020-10-15 14:47:19 +02:00
str	Cease committing C dependendency information	2020-04-17 14:11:22 +01:00
systhreads	Provide semaphores in the threading library (#9930)	2020-10-12 19:09:52 +02:00
unix	Unix.setsid: guard against errors (#9958)	2020-10-05 19:20:30 +02:00
win32unix	Merge pull request #9745 from johnwhitington/trunk	2020-09-15 11:07:25 +02:00
Makefile	Remove Spacetime	2020-10-08 20:28:12 +02:00
Makefile.otherlibs.common	Build system: honour the CFLAGS and CPPFLAGS build variables	2020-08-06 14:30:50 +02:00