]> git.lyx.org Git - lyx.git/history - development/lyxserver/server_monitor.pro
projects / lyx.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of git.lyx.org:lyx
[lyx.git] / development / lyxserver / server_monitor.pro
2009-09-12 Enrico ForestieriAdd a server_monitor.pro file. blob | commitdiff | raw
The LyX Source Repository