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

change extraction of the files for exported versions #271

Merged
merged 2 commits into from
Jul 22, 2020

Conversation

medamineziraoui
Copy link
Contributor

@medamineziraoui medamineziraoui commented Jul 22, 2020

#256

this is the old PR and conception
#261

But it has change after the last demand of the client to abort the optimization because of files comparition that is not possible

@DecampsRenan DecampsRenan merged commit 705120d into develop Jul 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants