]>
2015-12-20 | Peter Kümmel | move boost to 3rdparty directory | blob | commitdiff | raw |
2012-04-29 | Jürgen Spitzmüller | Merge branch 'master' of git.lyx.org:lyx | blob | commitdiff | raw |
2012-03-22 | Lars Gullik Bjønnes | Setup .gitignore for generated files | blob | commitdiff | raw |