提交歷史

作者 SHA1 備註 提交日期
  rdb 708e8dc513 Remove HAVE_GETTIMEOFDAY which we aren't using 12 年之前
  rdb fec189c225 _WIN32 should also be defined on 64-bits Windows 12 年之前
  rdb c26c0e6a97 Android support, part 1 13 年之前
  David Rose 6e5dd2cc63 fix memory crashes on win32/Eigen build 14 年之前
  Chris Brunner e0876b9eae forgot a few more flags 15 年之前
  Chris Brunner 051e5ee70f 64-bit build support 15 年之前