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

Development: Add additional binary file extensions for handling file replacements in programming exercises #7192

Merged
merged 2 commits into from
Sep 16, 2023
Merged

Development: Add additional binary file extensions for handling file replacements in programming exercises #7192

merged 2 commits into from
Sep 16, 2023

Conversation

pogobanane
Copy link
Contributor

@pogobanane pogobanane commented Sep 13, 2023 •
edited by krusche
Loading

Checklist

General

  • This is a small issue that I tested locally and was confirmed by another developer on a test server.

@pogobanane pogobanane requested a review from a team as a code owner September 13, 2023 09:36
@github-actions github-actions bot added the server Pull requests that update Java code. (Added Automatically!) label Sep 13, 2023
@pogobanane
Copy link
Contributor Author

follow up for #7178

@krusche krusche changed the title Programming exercises: Add binaryFileExtensions for unix binaries Development: Add additional binary file extensions Sep 16, 2023
@krusche krusche added this to the 6.5.0 milestone Sep 16, 2023
@krusche krusche changed the title Development: Add additional binary file extensions Development: Add additional binary file extensions for handling file replacements in programming exercises Sep 16, 2023
@krusche krusche merged commit 927308a into ls1intum:develop Sep 16, 2023
@krusche
Copy link
Member

krusche commented Sep 16, 2023

Thanks for the contribution @pogobanane

florian-glombik pushed a commit that referenced this pull request Sep 17, 2023
@pogobanane @florian-glombik
Development: Add additional binary file extensions for handling file …
b2e7c34 
…replacements in programming exercises (#7192)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tobias-lippert tobias-lippert tobias-lippert approved these changes

@Strohgelaender Strohgelaender Strohgelaender approved these changes

Assignees

@pogobanane pogobanane

Labels
component:Programming ready for review server Pull requests that update Java code. (Added Automatically!) small
Projects
None yet
Milestone
6.5.0
Development

Successfully merging this pull request may close these issues.
4 participants
@pogobanane @krusche @Strohgelaender @tobias-lippert