100644 blob fe1bfba6cfc8fbbf9ae5b17f7d07586a3e7460fd	dev-manual-common-tasks.xml
100644 blob 523ea3c5ed50cc2b9d448d179156c458d978a59c	dev-manual-customization.xsl
100644 blob 6d7b5fbb6c7692ad917ee14ecd1223d8a104a525	dev-manual-eclipse-customization.xsl
100644 blob f457c8033a056340336b50a390d4e56bb6930f5a	dev-manual-intro.xml
100644 blob 4e7b5de4e8011953b96b03da3a34817085442819	dev-manual-qemu.xml
100644 blob d8726b4857e6def8d00c100aad3ca3ef21e463aa	dev-manual-start.xml
100644 blob 0db938aeaae53de1900c66dad41fcf07ef38ca52	dev-manual.xml
100644 blob 6d0aa8e9fa34fc48fbbe542e6a77986757d8c957	dev-style.css
040000 tree e86a259964e57bfc63251cd7045d89000df4ad4c	figures