]>
2023-02-15 | Pavel Sanda | * ui: Latex -> LaTeX | blob | commitdiff | raw |
2023-01-31 | Jean-Marc Lasgouttes | Revert "Extended comment and indentation for source... | blob | commitdiff | raw | diff to current |
2023-01-31 | Daniel Ramoeller | Extended comment and indentation for source code | blob | commitdiff | raw | diff to current |
2023-01-23 | Daniel Ramöller | Fix bug #12061. | blob | commitdiff | raw | diff to current |
2022-12-10 | Scott Kostyshak | Change Doc Settings "Edit" PB to "Edit Externally" | blob | commitdiff | raw | diff to current |
2019-08-16 | Pavel Sanda | As observed on users list it's hard to guess where... | blob | commitdiff | raw | diff to current |
2019-07-20 | Jean-Marc Lasgouttes | Rename frontend qt4 to qt | blob | commitdiff | raw | diff to current |