From a4a30992c2e2c0c706659739b9680b1bedb39618 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Mon, 16 Sep 2013 17:04:32 -0700 Subject: [PATCH] gtk: Rename check-optiondb.scm to gtk-optiondb.scm. --- src/gtk/check.scm | 2 +- src/gtk/{check-optiondb.scm => gtk-optiondb.scm} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename src/gtk/{check-optiondb.scm => gtk-optiondb.scm} (100%) diff --git a/src/gtk/check.scm b/src/gtk/check.scm index d9dd90fdc..a4b610037 100644 --- a/src/gtk/check.scm +++ b/src/gtk/check.scm @@ -6,7 +6,7 @@ (dirname (directory-pathname (current-load-pathname)))) (set! (access library-directory-path env) (cons dirname (access library-directory-path env))) - (set! *initial-options-file* (merge-pathnames "check-optiondb" dirname))) + (set! *initial-options-file* (merge-pathnames "gtk-optiondb" dirname))) (load-option 'GTK) (if (gtk-thread-running?) diff --git a/src/gtk/check-optiondb.scm b/src/gtk/gtk-optiondb.scm similarity index 100% rename from src/gtk/check-optiondb.scm rename to src/gtk/gtk-optiondb.scm -- 2.25.1