Replay: skip Update() if replay is paused
treeedc902f7afda3bcff7d4065c0651279194058867
-rw-r--r-- 267 .gitignore
drwxr-xr-x - .settings
-rw-r--r-- 5473 AUTHORS
-rw-r--r-- 18009 COPYING
drwxr-xr-x - Data
-rw-r--r-- 31706 Makefile
-rw-r--r-- 100806 NEWS.txt
-rw-r--r-- 3916 README
-rw-r--r-- 12 VERSION.txt
drwxr-xr-x - android
drwxr-xr-x - build
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - ide
drwxr-xr-x - po
drwxr-xr-x - src
drwxr-xr-x - test
drwxr-xr-x - tools
-rw-r--r-- 2883 valgrind.suppressions