Commit History

Author SHA1 Message Date
  rdb 16e7831566 Remove executable permissions from files that don't need them 10 years ago
  rdb 708e8dc513 Remove HAVE_GETTIMEOFDAY which we aren't using 12 years ago
  rdb fec189c225 _WIN32 should also be defined on 64-bits Windows 12 years ago
  rdb c26c0e6a97 Android support, part 1 13 years ago
  David Rose 6e5dd2cc63 fix memory crashes on win32/Eigen build 14 years ago
  Chris Brunner e0876b9eae forgot a few more flags 15 years ago
  Chris Brunner 051e5ee70f 64-bit build support 15 years ago