diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-17 13:38:52 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-17 13:38:52 +0100 |
commit | 2e6501d879105acd7355393838dc2930d533b768 (patch) | |
tree | 54503742d17915e7e16c9c7993984e3e6a742cb6 /thirdparty | |
parent | 623f7b64ae7ab075fe9cc7f5b7b2c777e774f81d (diff) |
Add hex-encoded version number to Engine singleton for easy comparisons
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions