Searched defs:commit_date_string (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/manual/tools/ | ||
| H A D | gen_env.py | 29 commit_date_string = p.communicate()[0] variable 33 commit_date_string = commit_date_string.decode("utf-8") variable |
Completed in 68 milliseconds