Peter Johnson 4d559f3856 Use wpi::mutex instead of std::mutex. (#730) ...

This uses a priority-aware mutex on Linux platforms.

Fixes #729.

2017-11-13 09:51:48 -08:00

..

src/FRCUserProgram

Use wpi::mutex instead of std::mutex. (#730)

2017-11-13 09:51:48 -08:00

build.gradle

Depend on wpiutil 3.+, ntcore 4.+, cscore 1.+ rather than just +. (#651)

2017-10-01 10:57:03 -07:00