diff options
| author | Xusheng <xusheng@vector35.com> | 2020-11-06 14:08:40 +0800 |
|---|---|---|
| committer | Xusheng <xusheng@vector35.com> | 2020-11-06 17:02:20 +0800 |
| commit | 7f7244419b3776f69ad2140995299eef3f6a3257 (patch) | |
| tree | c0f1221ac4edbb9341504911d6a6bee28354de14 /python/platform.py | |
| parent | 0d28293999682389b0eb09128dba99b2723a6efb (diff) | |
fix UI plugin build and update build instructions
Diffstat (limited to 'python/platform.py')
0 files changed, 0 insertions, 0 deletions