eliminate unused gui_pref::ignore data member * gui-settings.h (gui_settings::value): Don't check pref.ignore. No code in Octave sets it to true. * gui-preferences.h (gui_pref::ignore): Delete unused data member. (gui_pref::gui_pref): Remove ignore arg from constructor.

root = true

[*]
charset = utf-8
end_of_line = lf
indent_size = 2
indent_style = space
insert_final_newline = true

[*.{am,mk}]
indent_size = tab
indent_style = tab