OSDN Git Service

* library/prefs.tcl (pref_read): The section marker or the word
authorjimb <jimb>
Thu, 11 Dec 2003 22:19:15 +0000 (22:19 +0000)
committerjimb <jimb>
Thu, 11 Dec 2003 22:19:15 +0000 (22:19 +0000)
commitc21333dfe6ea069b1dfb3551997084171c587672
treebc5f0471592b3f584e4372ff36edd33923d663da
parenta513433ddb92aa718c314bcfd7028928ee2868da
* library/prefs.tcl (pref_read): The section marker or the word
'option' must be the first thing on the line; they don't count if
they appear in the middle of the line.
gdb/gdbtk/ChangeLog
gdb/gdbtk/library/prefs.tcl