Make colors optional
tree9cde7881efc1040ed19c5e61f981568b8a4a6a36
-rw-r--r-- 1130 README
-rwxr-xr-x 6894 build.py
-rwxr-xr-x 4057 ci.sh
drwxr-xr-x - hbuild
-rw-r--r-- 13006 ocr.sed
drwxr-xr-x - scenarios
-rwxr-xr-x 17839 test-in-vm.sh
-rw-r--r-- 293 train-ocr.txt