summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
0e7ab29)
#include "frontends/FontMetrics.h"
#include "frontends/Painter.h"
#include "frontends/FontMetrics.h"
#include "frontends/Painter.h"
-#include "support/convert.h"
#include "support/debug.h"
#include "support/docstream.h"
#include "support/gettext.h"
#include "support/debug.h"
#include "support/docstream.h"
#include "support/gettext.h"