]> git.lyx.org Git - lyx.git/history - lib/lyx2lyx/profiling.py
add --try-harder for lyx2lyx
[lyx.git] / lib / lyx2lyx / profiling.py
2004-10-10 José MatoxAdd code that profiles lyx2lyx.