]> git.lyx.org Git - lyx.git/tree - development/tools/
Customization: correct some color names.
[lyx.git] / development / tools /
drwxr-xr-x   ..
-rw-r--r-- 49 README
-rwxr-xr-x 7207 convert_kmap.py
-rwxr-xr-x 244 count_lines_of_included_code.sh
-rwxr-xr-x 1178 count_total_lines_of_compiled_code.sh
-rwxr-xr-x 195 designer43to42
-rwxr-xr-x 14962 gen_lfuns.py
-rw-r--r-- 1792 generate_symbols_images.lyx
-rwxr-xr-x 7305 generate_symbols_images.py
-rwxr-xr-x 5469 generate_symbols_list.py
-rw-r--r-- 2082 generate_symbols_svg.lyx
-rwxr-xr-x 6611 generate_symbols_svg.py
-rwxr-xr-x 3363 header_check.sh
-rwxr-xr-x 302 list_included_headers.sh
-rwxr-xr-x 3724 lyx-build
-rwxr-xr-x 26168 lyx-fedora
-rwxr-xr-x 3017 lyxeditor
-rwxr-xr-x 9663 mergepo.py
-rw-r--r-- 2201 numbers
-rw-r--r-- 598 patch-preamble
-rwxr-xr-x 805 separator-convert.sh
-rwxr-xr-x 3008 unicodesymbols.py
-rwxr-xr-x 3081 update-po.sh
-rwxr-xr-x 3009 updatedocs.py
-rwxr-xr-x 995 updatelayouts.py
-rwxr-xr-x 932 updatelfuns.sh
-rwxr-xr-x 1428 updatestats.sh
-rw-r--r-- 1926 x-font