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

🐛Fix issues with uploading binaries #261

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

🐛Fix issues with uploading binaries #261

wants to merge 3 commits into from

Commits on Dec 7, 2022

  1. --port no longer required for binary files

    @Christopher-Tan
    Christopher-Tan committed Dec 7, 2022
    Configuration menu
    Copy the full SHA
    5b80b0e View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. Fixed upload binary issue with a project.pros file; not tested

    @Christopher-Tan
    Christopher-Tan committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    68f0d01 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

  1. Fixed error concerning reversed command line params for upload vs. mu… 

    …, ut, and mut
    @Christopher-Tan
    Christopher-Tan committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    7358289 View commit details
    Browse the repository at this point in the history