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

Name of application entry point #2265

Closed
wants to merge 6 commits into from
Closed

Name of application entry point #2265

wants to merge 6 commits into from

Commits on Oct 6, 2022

  1. Filling out template with PR 2265

    @acpoppe
    acpoppe committed Oct 6, 2022
    Configuration menu
    Copy the full SHA
    7b0b82d View commit details
    Browse the repository at this point in the history

  2. Proposal: Name of application entry point

    @acpoppe
    acpoppe committed Oct 6, 2022
    Configuration menu
    Copy the full SHA
    2067cde View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2022

  1. Replace abstraction section with more accurate description of the con… 

    …clusion
    @acpoppe
    acpoppe committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    ef0facd View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2023

  1. Add consideration of Run to alternatives considered.

    @zygoloid
    zygoloid authored Feb 1, 2023
    Configuration menu
    Copy the full SHA
    94359ec View commit details
    Browse the repository at this point in the history

  2. Fix typo "merrited"

    @zygoloid
    zygoloid authored Feb 1, 2023
    Configuration menu
    Copy the full SHA
    9e13998 View commit details
    Browse the repository at this point in the history

  3. Update ToC

    @zygoloid
    zygoloid authored Feb 1, 2023
    Configuration menu
    Copy the full SHA
    0631dd7 View commit details
    Browse the repository at this point in the history