]> git.lyx.org Git - lyx.git/history - 3rdparty/dtl/dv2dt.man
We don't need to reload a dirty file. Fixes #11788.
[lyx.git] / 3rdparty / dtl / dv2dt.man
2020-04-09 Juergen SpitzmuellerAdd dtl tools to 3rdparty/