Skip to content
Snippets Groups Projects
Commit 839a46d3 authored by Ivica Bukvic's avatar Ivica Bukvic
Browse files

*further improved naming convention for settings files (default.settings and... 

*further improved naming convention for settings files (default.settings and user.settings), cosmetic improvements to the indexing prompt of the help browser dialog.
parent fc300bad
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment