diff options
| author | funjoker <funjoker109@gmail.com> | 2020-04-04 14:58:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-04 14:58:00 +0200 |
| commit | 1794338532be2e76c0d39c81f94788b8269e602f (patch) | |
| tree | 2b06f1e5a9b502deb77dbed5104b8f64a583e87d /src/common/GitRevision.cpp | |
| parent | 1df52da0b052654a9b42339fdd22028bfdbf9fc0 (diff) | |
CI/Circle CI: Prevent conflict with diff branches (#24388)
Diffstat (limited to 'src/common/GitRevision.cpp')
0 files changed, 0 insertions, 0 deletions