removed NOBUG_NAMESPACE in favor of new flag based logging
treed53aa4570c02b3a51a59c5e6663b796428f328ef
-rw-r--r-- 24 .gitignore
-rw-r--r-- 17987 COPYING
-rw-r--r-- 212 Makefile
-rw-r--r-- 4884 README
-rw-r--r-- 30885 nobug.h
-rw-r--r-- 1404 test_nobug.c