Skip to content

Don't print LIQUID banner in --quiet mode #1956#2391

Merged
facundominguez merged 1 commit into
ucsd-progsys:developfrom
gergoerdi:T1956
Oct 17, 2024
Merged

Don't print LIQUID banner in --quiet mode #1956#2391
facundominguez merged 1 commit into
ucsd-progsys:developfrom
gergoerdi:T1956

Conversation

@gergoerdi

Copy link
Copy Markdown
Contributor

No description provided.

@facundominguez facundominguez left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM. Thanks!

I'll leave it open for another day in case someone else wants to comment.

@facundominguez facundominguez merged commit e7d2d00 into ucsd-progsys:develop Oct 17, 2024
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.

2 participants