]> git.lyx.org Git - lyx.git/tree - lib/doc/el/
Remove profiling.py
[lyx.git] / lib / doc / el /
drwxr-xr-x   ..
-rw-r--r-- 72637 Intro.lyx