On Mon, Oct 17, 2016 at 3:51 AM, Edward K. Ream <edream...@gmail.com> wrote:

> ​​

> When I awoke early this morning, I saw the way forward.  It should satisfy
> everybody:


2. Create leo/core/
> ​​
> commit_timestamp.json in @button make-leo in leoDist.leo.

​The create_json function in leoVersion.py will create
​commit_timestamp.json. This file will contain the commit hash as well as
the timestamp.  This ensures that get_version_from_json does not need git
at all.


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 post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to