Skip to content

Scan directories that include 'public'#1774

Merged
presidentbeef merged 1 commit intomainfrom
include_public
Apr 18, 2023
Merged

Scan directories that include 'public'#1774
presidentbeef merged 1 commit intomainfrom
include_public

Conversation

@presidentbeef
Copy link
Copy Markdown
Owner

This is ancient thinking to ignore the /public/ directory, but there's no real need to do that now.

(Unrelated time-related test change)

@presidentbeef presidentbeef merged commit dd9ba8b into main Apr 18, 2023
@presidentbeef presidentbeef deleted the include_public branch April 18, 2023 23:18
Repository owner locked and limited conversation to collaborators May 9, 2024
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.

1 participant