diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2021-03-19 13:51:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-19 13:51:28 +0100 |
commit | 7866dea6e4ad38392040ea37739feba4ae8cceae (patch) | |
tree | be3d56df079e928c760607080c7b6948f1f674b8 /CMakeLists.txt | |
parent | 957efa8d351dfcb59b7681aa20dc7d961cf39bc7 (diff) | |
parent | 6fa0f6a239b75373e9c21a2e8dcb7e678ba79d5d (diff) |
Merge pull request #3727 from esbrandt/2.3-i18
2.3 i18 update
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions