]> git.lyx.org Git - lyx.git/tree - development/tools/
* src/MenuBackend.[Ch]: the specialMenu is now a real menu, not a
[lyx.git] / development / tools /
drwxr-xr-x   ..
-rw-r--r-- 1375 README.bin.example
-rw-r--r-- 3004 generate_symbols_list.py
-rw-r--r-- 1926 x-font