summaryrefslogtreecommitdiff
path: root/platform/android/java/settings.gradle
diff options
context:
space:
mode:
authorof9 <of9@st-andrews.ac.uk>2020-02-01 19:11:33 +0000
committerOliver Frank <oliverfrank321@gmail.com>2020-02-20 11:21:43 +0000
commit24b27043fec7ef9a4baf2c5ecab67fc20563b586 (patch)
tree8fdd769fa20c270986e8962c83abbfc5946e9a46 /platform/android/java/settings.gradle
parentbd61281a5f515065b05be008dd3d6b73a03f5a7c (diff)
Migrating language server from Websockets to raw TCP
Diffstat (limited to 'platform/android/java/settings.gradle')
0 files changed, 0 insertions, 0 deletions