New option "font-encoding".
treeedcb7771f4ab1a2dc6bd888ec6b843e929acd11c
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 6653 BUGS.txt
-rw-r--r-- 5027 COPYING.txt
-rw-r--r-- 33902 FAQ.txt
-rw-r--r-- 59043 HISTORY.txt
-rw-r--r-- 228 MANIFEST.in
-rw-r--r-- 11563 README.txt
-rw-r--r-- 2514 THANKS.txt
drwxr-xr-x - docs
drwxr-xr-x - docutils
drwxr-xr-x - extras
-rwxr-xr-x 638 install.py
drwxr-xr-x - licenses
-rwxr-xr-x 4305 setup.py
drwxr-xr-x - test
drwxr-xr-x - tools