On 2/18/2014 7:25 PM, Edward K. Ream wrote:
Should this be in leoSettings.leo? Is it hiding somewhere?
Edward
--
During the Great leoSettings.leo Purge of November 2013, you moved them
to leo/config/exampleSettings.leo:
https://github.com/leo-editor/leo-editor/commit/dc43fa34ac95e93e1f9f2b502320c290d0cd3f44
:)
-->Jake
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.
