Karma

• doc
• phd.git
• playground.git
• web/doc-editor.git
• web/doc.git