]> git.lyx.org Git - lyx.git/history - development/lyxserver/server_monitor.pro
MathsUi.ui: add tooltips, the same can also be done for branch if you like, Jürgen?
[lyx.git] / development / lyxserver / server_monitor.pro
2009-09-12 Enrico ForestieriAdd a server_monitor.pro file.