tree 72bc1127425f3c8708353e79bbf88b147311f3cb
parent c931e6c83d9cd6fd62db4b58dffd7fbe93c3f0e7
author Philipp Wollermann <philwo@google.com> 1521649531 +0100
committer Philipp Wollermann <philwo@google.com> 1521649531 +0100

create_images.py: Put Git commit hash after timestamp in image name