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: > [snip] 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. Edward -- 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 firstname.lastname@example.org. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.