Minor fixes to FOLD rules.
tree3ce5bea0a68cd046493ef611bad66e64f374e85a
-rw-r--r-- 71 .gitignore
-rw-r--r-- 2932 COPYRIGHT
-rw-r--r-- 5710 Makefile
-rw-r--r-- 455 README
drwxr-xr-x - doc
drwxr-xr-x - dynasm
drwxr-xr-x - etc
drwxr-xr-x - src