diff sat/tools/xml_tools.py @ 3627:7fe1028acab2

doc (overview): comment mentions of web app (not relevant anymore, for now) + web frontend name change
author Goffi <goffi@goffi.org>
date Fri, 27 Aug 2021 14:46:56 +0200
parents a8259a1f89b2
children d33da3fe34a5
line wrap: on
line diff