Skip to content

chore: Remove unused jquery-ui#5385

Merged
rjsparks merged 2 commits into
ietf-tools:mainfrom
larseggert:chore-del-jquery-ui
Mar 25, 2023
Merged

chore: Remove unused jquery-ui#5385
rjsparks merged 2 commits into
ietf-tools:mainfrom
larseggert:chore-del-jquery-ui

Conversation

@larseggert

Copy link
Copy Markdown
Collaborator

Two templates under secr included it, but didn't seem to use it for anything.

Two templates under `secr` included it, but didn't seem to use it
for anything.
@codecov

codecov Bot commented Mar 21, 2023

Copy link
Copy Markdown

Codecov Report

Merging #5385 (f94cc9a) into main (28e18be) will decrease coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #5385      +/-   ##
==========================================
- Coverage   88.80%   88.79%   -0.01%     
==========================================
  Files         284      284              
  Lines       39503    39503              
==========================================
- Hits        35079    35078       -1     
- Misses       4424     4425       +1     

see 2 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@rjsparks rjsparks requested a review from NGPixel March 21, 2023 13:47
@rjsparks rjsparks merged commit 0bc0469 into ietf-tools:main Mar 25, 2023
@larseggert larseggert deleted the chore-del-jquery-ui branch March 25, 2023 06:58
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Mar 31, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants