Searched refs:commit_date (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/manual/tools/
H A Dgen_env.py35 commit_date = datetime.datetime.strptime(commit_date_string.split()[0], "%Y-%m-%d") variable
39 commit_date.strftime("%-d %B %Y")))
41 commit_date.strftime("%Y")))

Completed in 51 milliseconds