ui::help: Add thread safety comment to --ui.
treef9659340e048994df585409e0eca64f6c5fae706
-rw-r--r-- 1905 AUTHORS
-rw-r--r-- 35147 COPYING
-rw-r--r-- 2069 Makefile.am
-rw-r--r-- 15 VERSION
-rw-r--r-- 1054 accel.cc
-rw-r--r-- 2193 accel.h
-rwxr-xr-x 6521 ale
-rw-r--r-- 2780 ale.cc
-rw-r--r-- 1723 ale_accum.h
-rw-r--r-- 22057 ale_fixed.h
-rw-r--r-- 2398 ale_math.h
-rw-r--r-- 2776 ale_pos.h
-rw-r--r-- 7787 ale_real.h
-rwxr-xr-x 3087 bootstrap
-rw-r--r-- 13890 configure.in
-rw-r--r-- 1297 d2.cc
-rw-r--r-- 3564 d2.h
drwxr-xr-x - d2
-rw-r--r-- 1223 d3.cc
-rw-r--r-- 1489 d3.h
drwxr-xr-x - d3
drwxr-xr-x - device
drwxr-xr-x - doc
-rw-r--r-- 1072 gpu.cc
-rw-r--r-- 3686 gpu.h
-rw-r--r-- 1715 optimizations.h
-rw-r--r-- 1168 rand.cc
-rw-r--r-- 2018 rand.h
-rwxr-xr-x 1838 repo-clean
drwxr-xr-x - scripts
drwxr-xr-x - testsuite
-rw-r--r-- 1151 thread.cc
-rw-r--r-- 5481 thread.h
drwxr-xr-x - ui