add a table for supported platforms to the manual
[nobug.git] / doc / 
treebab17962d0606955be1bf2ee484133f07ea25df6
drwxr-xr-x   ..
-rw-r--r-- 108487 NoBug-logo.svg
-rw-r--r-- 857 additional.txt
-rw-r--r-- 1028 annotationtable.txt
-rw-r--r-- 2009 asciidoc.pawk
-rw-r--r-- 549 assertiontable.txt
-rw-r--r-- 1434 bestpractices.txt
-rw-r--r-- 3519 buildinstall.txt
-rw-r--r-- 955 buildlevels.txt
-rw-r--r-- 1353 dumpexample.txt
-rw-r--r-- 396 dumping.txt
-rw-r--r-- 1922 initialization.txt
-rw-r--r-- 3275 license.txt
-rw-r--r-- 1779 logconfiguration.txt
-rw-r--r-- 2962 logflags.txt
-rw-r--r-- 2849 logflagsenv.txt
-rw-r--r-- 1512 logging.txt
-rw-r--r-- 1302 macros.txt
-rw-r--r-- 1754 multithreading.txt
-rw-r--r-- 62644 nobug-blue.svg
-rw-r--r-- 1247 nobug7.conf
-rw-r--r-- 792 nobug_manual.conf
-rw-r--r-- 1723 overview.txt
-rw-r--r-- 777 parametertable.txt
-rw-r--r-- 539 resourcedeadlock.txt
-rw-r--r-- 1332 resourceexample.txt
-rw-r--r-- 2790 resourcetracking.txt
-rw-r--r-- 317 scopechecks.txt
-rw-r--r-- 205 testsuite.txt
-rw-r--r-- 1812 using.txt
-rw-r--r-- 403 usinginit.txt
-rw-r--r-- 444 verbatim.pawk
-rw-r--r-- 1016 whichlibrary.txt