diff options
| author | zhuzhenjun <[email protected]> | 2023-10-12 15:05:58 +0800 |
|---|---|---|
| committer | zhuzhenjun <[email protected]> | 2023-10-12 15:36:31 +0800 |
| commit | 8b8627b0d8e06cb2d1073b2e86741dad8c39d4f6 (patch) | |
| tree | e41e8a5e70bc0d043f34b2a1651e026a15d54b4f /src/version.map | |
| parent | 7e1849233b8640e6139143c99423bf71cca0b6b2 (diff) | |
Diffstat (limited to 'src/version.map')
| -rw-r--r-- | src/version.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/version.map b/src/version.map index 317c75d..50bf794 100644 --- a/src/version.map +++ b/src/version.map @@ -1,4 +1,4 @@ { - global: osfp*;GIT_VERSION_*; + global: MESA_osfp*;GIT_VERSION_*; local: *; }; |