Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add developer documentation and design principles #72

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

add developer documentation and design principles #72

wants to merge 3 commits into from

Commits on Mar 18, 2022

  1. add developer documentation and design principles 

    New section "Developer Documentation" is aimed at developers wanting to
work on PICMI itself. Its content may be of interest to implementors,
but should not be required knowledge to them.

The design principles outlines fundamental design decisions and aims to
clarify misunderstandings on PICMI at an early stage.
    @s9105947
    s9105947 committed Mar 18, 2022
    Configuration menu
    Copy the full SHA
    d0a5cf6 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2022

  1. design principles: typos, rewording

    @s9105947
    s9105947 committed Mar 22, 2022
    Configuration menu
    Copy the full SHA
    1e4f5a8 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2022

  1. Fix formatting: Quotes (ASCII)

    @ax3l
    ax3l authored Sep 8, 2022
    Configuration menu
    Copy the full SHA
    7e73417 View commit details
    Browse the repository at this point in the history