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

soheil changes #11

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

soheil changes #11

wants to merge 4 commits into from

Commits on Aug 27, 2022

  1. custom_tactic shows up only on debug mode

    @someonefromnowhere123
    someonefromnowhere123 committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    64a4435 View commit details
    Browse the repository at this point in the history

  2. auto_list checks if list equality implies members equality 

    changed background color of items in sandbox
    @someonefromnowhere123
    someonefromnowhere123 committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    258c828 View commit details
    Browse the repository at this point in the history

  3. Bug fixes

    @someonefromnowhere123
    someonefromnowhere123 committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    a32ec0a View commit details
    Browse the repository at this point in the history

  4. Merge branch 'babaeee:main' into main

    @sohsoh84
    sohsoh84 committed Aug 27, 2022
    Configuration menu
    Copy the full SHA
    03408a9 View commit details
    Browse the repository at this point in the history