On Monday, 24 August 2020 10:27:58 UTC-4, Edward K. Ream wrote:
>
>
>
> On Sunday, August 23, 2020 at 7:37:26 AM UTC-5, Thomas Passin wrote:
>>
>>
>> So I don't know if it came from me, or if I got it via an update from 
>> Leo-editor.  But it can be deleted.  It's just like a .bak file created by 
>> some other program that someone used on the file.
>>
>
> PR #1630 <https://github.com/leo-editor/leo-editor/pull/1630>deletes this 
> file. Edward
>

Gitignore is your friend

https://git-scm.com/docs/gitignore

-- 
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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/b6aa8e06-022a-4ede-8629-3a4159137a3fo%40googlegroups.com.

Reply via email to