OSDN Git Service

From Andrew Stubbs <andrew.stubbs@st.com>:
authorkseitz <kseitz>
Tue, 19 Sep 2006 18:39:38 +0000 (18:39 +0000)
committerkseitz <kseitz>
Tue, 19 Sep 2006 18:39:38 +0000 (18:39 +0000)
commit585fa9b5c2f87876769fa318240df6b02508f562
tree86610e838f6602632eaa72150c1d3bcab915e282
parent767e5490fcc20477f3999e6bdeae721ee681277c
    From Andrew Stubbs  <andrew.stubbs@st.com>:
        * library/prefs.tcl (pref_save): Save preferences if
        INSIGHT_FORCE_READ_PREFERENCES is set in the environment.
gdb/gdbtk/ChangeLog
gdb/gdbtk/library/prefs.tcl