Norman Feske e590d90bf6 xml_generator: support appending of node content ... The new 'Xml_generator::append' method can be used to append strings into the body of an XML node.		2015-10-06 12:18:53 +02:00
..
color.h	os: Add == and != operators to Genode::Color	2015-10-06 12:18:52 +02:00
dirty_rect.h	Revised API documentation	2015-04-09 16:04:46 +02:00
endian.h	os: rename 'bswap' to 'host_to_big_endian'	2015-05-20 17:52:58 +02:00
geometry.h	os: add equality operators to 'Area'	2014-08-11 15:55:31 +02:00
print_lines.h	os: add print_lines utility	2015-10-06 12:18:52 +02:00
volatile_object.h	os: forward args for Lazy_volatile_object	2014-08-11 15:55:31 +02:00
xml_generator.h	xml_generator: support appending of node content	2015-10-06 12:18:53 +02:00
xml_node.h	os: add Xml_attribute::value(String<N> *out)	2015-10-06 12:18:53 +02:00