/docs/

• ../
• design.md
• gui-checklist.md
• gui-design.md
• krino-gui.png
• sexp-primer.md