diff options
| author | Xusheng <xusheng@vector35.com> | 2021-08-05 11:48:25 +0800 |
|---|---|---|
| committer | Xusheng <xusheng@vector35.com> | 2021-08-05 13:57:29 +0800 |
| commit | a5a34fe70a2130a9bdd82eeaa31d427f607b3022 (patch) | |
| tree | fa0f0b8bd2033a0214c6ea1f250e780b05b2e0f7 /python/plugin.py | |
| parent | b78c9f4f4a53a77ea7267b61e7d90ea7778400df (diff) | |
Correctly detect if the current build is executed on the build server
Diffstat (limited to 'python/plugin.py')
0 files changed, 0 insertions, 0 deletions