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.

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

Add feature that can rename the file from resource page #24

Merged
merged 4 commits into from
Feb 25, 2024

Conversation

Bill2015
Copy link
Owner

Changed:

image

Also, change the resource file extension field type, from String to Option<String>
Because some files does not contain the file extension.

Also, I noticed there is a bad design in the File Value Object
The ext field type should be Option<String>, because some files may not have the file extension on them.
I will fix that later.
@Bill2015 Bill2015 added feature fix bug fix the bug labels Feb 24, 2024
@Bill2015 Bill2015 merged commit ae134cb into master Feb 25, 2024
1 check passed
@Bill2015 Bill2015 deleted the develop-resource-rename-the-file branch February 25, 2024 19:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant