- The obsolete gettimeofday() function has been replaced
by clock_gettime() on systems which support it.
- Speed and usability improvements for para_gui.
- The obsolete gettimeofday() function has been replaced
by clock_gettime() on systems which support it.
- Speed and usability improvements for para_gui.