diff options
| author | GDR! <gdr@gdr.name> | 2020-08-15 19:19:52 +0200 |
|---|---|---|
| committer | GDR! <gdr@gdr.name> | 2020-08-15 19:19:52 +0200 |
| commit | b8c58d39c381e1b8706c39f17f2e4518a07769a9 (patch) | |
| tree | c454bc4b699edee914da266256a64f6ffe7f5273 | |
| parent | 0a8b0399cfac7873d350e4b2a90ec5203178922c (diff) | |
Perform a complete build inside Docker
| -rw-r--r-- | gitversion.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gitversion.h b/gitversion.h index c779d55..fdb8a74 100644 --- a/gitversion.h +++ b/gitversion.h | |||
| @@ -1 +1 @@ | |||
| #define GITVERSION "376975d2619b12823d78be0f145245d2a8585c4b" | #define GITVERSION "0a8b0399cfac7873d350e4b2a90ec5203178922c" | ||