diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2017-12-21 09:05:08 +0100 |
|---|---|---|
| committer | Jan Mulder <jlmulder@xs4all.nl> | 2017-12-21 15:11:15 +0100 |
| commit | e4530cd5ef38e6120f451daf1a758b38b70a6f1c (patch) | |
| tree | b3813d7022aacd7eda43945045cb66d407b66a35 /core/linux.c | |
| parent | 28ae35e7df7c32ef6070474ad0e55c5a473f701d (diff) | |
| download | subsurface-e4530cd5ef38e6120f451daf1a758b38b70a6f1c.tar.gz | |
cleanup: remove empty function
subsurface_OS_pref_setup() is not not used. Remove it.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'core/linux.c')
| -rw-r--r-- | core/linux.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/core/linux.c b/core/linux.c index 2f8d9d832..d60094a0e 100644 --- a/core/linux.c +++ b/core/linux.c @@ -18,11 +18,6 @@ const char linux_system_divelist_default_font[] = "Sans"; const char *system_divelist_default_font = linux_system_divelist_default_font; double system_divelist_default_font_size = -1.0; -void subsurface_OS_pref_setup(void) -{ - // nothing -} - bool subsurface_ignore_font(const char *font) { // there are no old default fonts to ignore |