diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2013-05-31 12:40:52 +0900 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2013-05-31 12:40:52 +0900 |
| commit | 34c7aa940ca369389133c82d096a84f7a80fa6d9 (patch) | |
| tree | 8631d1e2b07d60ad52621b25f1c8d12429e39c0c /statistics.c | |
| parent | e6d419f6becacc9db7c26b844770ec066fbf5755 (diff) | |
| download | subsurface-34c7aa940ca369389133c82d096a84f7a80fa6d9.tar.gz | |
Hack to force plastique style on Linux
I'd much rather be able to check if it is using the Gnome style and only
then force plastique but I haven't been able to figure out how to do
that.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'statistics.c')
0 files changed, 0 insertions, 0 deletions