diff options
author | David Ostrovsky <david@ostrovsky.org> | 2020-02-02 10:30:14 +0100 |
---|---|---|
committer | David Ostrovsky <david@ostrovsky.org> | 2020-02-02 10:30:18 +0100 |
commit | 11bce058a0ae97b9579ad5370e27d51c108fad49 (patch) | |
tree | d9cee8cdcb0f47edfba7c6ce4b8dd8b341457efb | |
parent | 827c929cd557ccf32c569c24297d3db4aca90526 (diff) |
Highlight WORKSPACE as python
Change-Id: I2f46d6de7989f3951fcea49475c52ea216b25c94
-rw-r--r-- | resources/com/google/gerrit/server/mime/mime-types.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/resources/com/google/gerrit/server/mime/mime-types.properties b/resources/com/google/gerrit/server/mime/mime-types.properties index d35816e266..84eef7725b 100644 --- a/resources/com/google/gerrit/server/mime/mime-types.properties +++ b/resources/com/google/gerrit/server/mime/mime-types.properties @@ -248,6 +248,7 @@ vm = text/velocity vtl = text/velocity webidl = text/x-webidl wsdl = application/xml +WORKSPACE = text/x-python xaml = application/xml xhtml = text/html xml = application/xml |