Skip to content

Conversation

johnsimons
Copy link
Member

@johnsimons johnsimons commented Apr 29, 2025

I have to use a font awesome image for the wildcard character becasue by default it prints quite small *. So not really visible!

image

@johnsimons johnsimons requested a review from PhilBastian April 29, 2025 02:15
@johnsimons johnsimons self-assigned this Apr 29, 2025
@johnsimons johnsimons requested review from cquirosj and soujay May 1, 2025 01:41
Co-authored-by: Christian <christian.quiros@particular.net>
@johnsimons johnsimons requested a review from cquirosj May 1, 2025 22:55
@johnsimons johnsimons enabled auto-merge May 1, 2025 23:32
@johnsimons johnsimons merged commit 72bb2a5 into master May 2, 2025
5 checks passed
@johnsimons johnsimons deleted the john/wildcards branch May 2, 2025 00:43
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.

3 participants