Skip to content

Remove leftover static_dev reference from bin/lint#126

Merged
sethherr merged 1 commit intomainfrom
sethherr/remove-static-dev
Apr 16, 2026
Merged

Remove leftover static_dev reference from bin/lint#126
sethherr merged 1 commit intomainfrom
sethherr/remove-static-dev

Conversation

@sethherr
Copy link
Copy Markdown
Member

@sethherr sethherr commented Apr 14, 2026

  • The .static_dev directory was removed in Remove quiz functionality #121, but a glob reference in bin/lint was left behind
  • Removes the .static_dev/*.html glob from the html_files method in the lint script

The .static_dev directory was removed in #121. This removes the
remaining glob reference in the lint script.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@sethherr sethherr merged commit c53cf17 into main Apr 16, 2026
2 checks passed
@sethherr sethherr deleted the sethherr/remove-static-dev branch April 16, 2026 19:04
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.

1 participant