Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/DHashMap_structure/./src/githash.h.in
blob: 7cc0444b6a3a0f7370be69771e4937bc3562b9dd [file] [edit]
// Automatically generated file, DO NOT EDIT
#define LEAN_GITHASH "@GIT_SHA1@"