Vincent Torri df41327f29 use evil_time_get() instead of gettimeofday() when using Evil. ... It's more precise and involves fewer computations SVN revision: 39149		2009-02-22 19:21:36 +00:00
legacy	use evil_time_get() instead of gettimeofday() when using Evil.	2009-02-22 19:21:36 +00:00