Pieter Vander Vennet 217c103adc Merge branch 'develop'		2022-12-25 23:17:38 +01:00
..
ThemeConfig	Merge branch 'develop'	2022-12-25 23:17:38 +01:00
BaseLayer.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
Constants.ts	Add hotkeys, document hotkeys, make 'DefaultGUI' runnable via NodeJS, generate hotkey documentation	2022-12-24 03:44:21 +01:00
Denomination.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
FilteredLayer.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
LeafletMap.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
Loc.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
OsmFeature.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
smallLicense.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
TileRange.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00
Unit.ts	Reformat all files with prettier	2022-09-08 21:40:48 +02:00