genode/repos/os/xsd
Martin Stein 5bb5a62d37 timeout_types.xsd: allow 0 seconds
The previous range was from 1..X because we only used it for durations. But
with the Depot Autopilot we want to use it also for a timestamp.
2018-11-16 14:37:47 +01:00
..
net_types.xsd base: define generic config XSD types globally 2018-08-28 16:48:47 +02:00
timeout_types.xsd timeout_types.xsd: allow 0 seconds 2018-11-16 14:37:47 +01:00