diff options
| author | Wu Xiaotian <[email protected]> | 2020-04-04 13:00:40 +0800 |
|---|---|---|
| committer | ZenWalker <[email protected]> | 2020-04-04 15:15:36 +0200 |
| commit | 0ea1841d788935cc58db80f69c749c47f7146244 (patch) | |
| tree | adea7faf8215b0196196aa1a77b73f037ab3aabf /plugins/externaltools/tools | |
| parent | 28a6895df5fa4a1a60c794ed5e85e31d764e85e7 (diff) | |
| download | pluma-0ea1841d788935cc58db80f69c749c47f7146244.tar.bz2 pluma-0ea1841d788935cc58db80f69c749c47f7146244.tar.xz | |
[ci] fix build environment issue
Diffstat (limited to 'plugins/externaltools/tools')
0 files changed, 0 insertions, 0 deletions