]> git.lyx.org Git - features.git/tree - development/tools/
fix bug 1942: http://bugzilla.lyx.org/show_bug.cgi?id=1942
[features.git] / development / tools /
drwxr-xr-x   ..
-rw-r--r-- 1375 README.bin.example
-rw-r--r-- 7207 convert_kmap.py
-rw-r--r-- 3004 generate_symbols_list.py
-rw-r--r-- 3002 unicodesymbols.py
-rw-r--r-- 1926 x-font