diff Documentations/setGPLHeader.py @ 790:3b5f9557c053

Fix bug introduced in 04b98a2, causing the deco planner to not show deco stops.
author heinrichsweikamp
date Tue, 25 Jul 2023 14:48:58 +0200
parents 6237372f76a4
children
line wrap: on
line diff