Skip to content

recognise .geojson as json, fixes #129329#129330

Merged
aeschli merged 1 commit into
microsoft:mainfrom
matkoniecz:patch-1
Aug 17, 2021
Merged

recognise .geojson as json, fixes #129329#129330
aeschli merged 1 commit into
microsoft:mainfrom
matkoniecz:patch-1

Conversation

@matkoniecz

@matkoniecz matkoniecz commented Jul 25, 2021

Copy link
Copy Markdown
Contributor

This PR fixes #129329

note: I have not tested this (as it would require setup of entire compiling environment) but hopefully it is simple enough and will be CI tested

@aeschli aeschli added this to the September 2021 milestone Aug 17, 2021
@aeschli aeschli merged commit cae939b into microsoft:main Aug 17, 2021
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 1, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[json] GeoJSON should be syntax highlighted as JSON instead of plain text out of the box without manual configuration

3 participants