Norman Feske e1b4408090 os: turn Xml_node::Attribute to Xml_attribute
Moving the XML attribute class to the Genode namespace simplifies the
API.
2015-04-09 16:04:45 +02:00
..
2014-11-12 14:44:16 +01:00
2015-03-13 12:17:23 +01:00
2015-03-19 08:57:18 +01:00
2015-03-13 12:17:23 +01:00
2015-03-13 12:17:23 +01:00