Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Remove duplicated and unused manifest.json #1735

Merged
merged 1 commit into from
Jun 26, 2021

Conversation

Ninjaclasher
Copy link
Member

This file is a duplicate of resources/icons/manifest.json, and
shouldn't be used. The one in resources/icons/manifest.json
should be used, and is the one used if the site setup documentation
is followed.

It looks like this file was misplaced in #411, and it looked as if the file was missing, so was duplicated (in the correct directory) in 6532991.

This file is a duplicate of `resources/icons/manifest.json`, and
shouldn't be used. The one in `resources/icons/manifest.json`
should be used, and is the one used if the site setup documentation
is followed.
@codecov-commenter
Copy link

Codecov Report

Merging #1735 (4c40a83) into master (b73e3ac) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1735   +/-   ##
=======================================
  Coverage   46.50%   46.50%           
=======================================
  Files         220      220           
  Lines       12445    12445           
=======================================
  Hits         5787     5787           
  Misses       6658     6658           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b73e3ac...4c40a83. Read the comment docs.

Copy link
Member

@kiritofeng kiritofeng left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I believe you

@quantum5 quantum5 merged commit 7f82b4f into DMOJ:master Jun 26, 2021
@Ninjaclasher Ninjaclasher deleted the duplicated-manifest branch June 26, 2021 19:08
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants