Xin Wang created IOTDB-654:
------------------------------
Summary: ignore theia settings when using gitpod online coding
Key: IOTDB-654
URL: https://issues.apache.org/jira/browse/IOTDB-654
Project: Apache IoTDB
Issue Type: Improvement
Reporter: Xin Wang
Assignee: Xin Wang-- This message was sent by Atlassian Jira (v8.3.4#803005)
