mehrdadn fc76586518 Redis on Windows (#7509) ... * Switch hiredis on Windows to that of the Windows port of Redis * Use boost::asio::ip::tcp::socket::native_handle_type * Use normal hiredis instead of Windows-specific one * Finish up using normal hiredis Co-authored-by: Mehrdad <noreply@github.com>		2020-03-09 18:49:54 -07:00
..
BUILD	Build Raylet with Bazel (#3806)	2019-01-20 12:16:47 -08:00
BUILD.cython	Make sure the right Python interpreter is used (#4334)	2019-03-12 12:21:55 -07:00
BUILD.plasma	Upgrade plasma to latest version, use synchronous Seal (#7470)	2020-03-09 10:30:44 -07:00
BUILD.redis	Redis on Windows (#7509)	2020-03-09 18:49:54 -07:00
ray.bzl	[Streaming] Streaming data transfer java (#6474)	2019-12-22 10:56:05 +08:00
ray_deps_build_all.bzl	[Streaming] Streaming data transfer java (#6474)	2019-12-22 10:56:05 +08:00
ray_deps_setup.bzl	Redis on Windows (#7509)	2020-03-09 18:49:54 -07:00