# HG changeset patch
# User samer
# Date 1424813232 0
# Node ID 0d884d5d337652761c34ab1e57991005737220ec
# Parent  96dec6483b60768c5ba72e9f34d1116ca9b89ed8
Removed obsolete settings.

diff -r 96dec6483b60 -r 0d884d5d3376 var/dml/settings.db
--- a/var/dml/settings.db	Mon Feb 23 10:51:13 2015 +0000
+++ b/var/dml/settings.db	Tue Feb 24 21:27:12 2015 +0000
@@ -1,5 +1,5 @@
 /*  Saved settings
-    Date: Mon Feb 16 12:46:19 2015
+    Date: Mon Feb 23 11:29:19 2015
 */
 
 
@@ -30,14 +30,5 @@
 %	Decoration for AudioFile URIs
 setting(audio_ui:audiofile_decoration, player).
 
-%	Default width of rendered score in mm
-setting(score_ui:default_width, 210).
-
-%	Soundfont directory
-setting(score_ui:soundfont_dir, "~/lib/sounds/sf2").
-
-%	Fluidsynth initialisation file
-setting(score_ui:fluidsynth_rc, piano).
-
 %	Pixels per inch for in browser figures
 setting(matlab:pixels_per_inch, 300).