tree f3d113173ce0e90d3daa37b33938782a6a57d6ea
parent d745f7516a57033013ef60a18fd65f3c66491de6
author roman <xjanot04@fit.vutbr.cz> 1680250270 +0200
committer Michal Vasko <mvasko@cesnet.cz> 1699020191 +0100

configuration UPDATE headers reorganized

config_new now made an internal header, server_config added to installed
ones. Includes reworked.