Merge branch 'master' into master

This commit is contained in:
Pieter Vander Vennet 2021-03-15 15:57:45 +01:00 committed by GitHub
commit 3bfa3dbfc6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
99 changed files with 4967 additions and 542 deletions

View file

@ -22,6 +22,9 @@ import * as personal from "../assets/themes/personalLayout/personalLayout.json"
import * as playgrounds from "../assets/themes/playgrounds/playgrounds.json"
import * as bicycle_lib from "../assets/themes/bicycle_library/bicycle_library.json"
import * as campersites from "../assets/themes/campersites/campersites.json"
import * as play_forests from "../assets/themes/play_forests/play_forests.json"
import * as speelplekken from "../assets/themes/speelplekken/speelplekken.json"
import * as sport_pitches from "../assets/themes/sport_pitches/sport_pitches.json"
import LayerConfig from "./JSON/LayerConfig";
import LayoutConfig from "./JSON/LayoutConfig";
import AllKnownLayers from "./AllKnownLayers";
@ -71,7 +74,10 @@ export class AllKnownLayouts {
new LayoutConfig(climbing),
new LayoutConfig(playgrounds),
new LayoutConfig(trees),
new LayoutConfig(campersites)
new LayoutConfig(campersites),
new LayoutConfig(play_forests) ,
new LayoutConfig(speelplekken),
new LayoutConfig(sport_pitches)
];