guard_msgs の config について説明する #122

Closed

Assignees

opened

on Apr 13, 2024

whitespace という引数が使えるようになる

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/.23guard_msgs.20variant.3A.20don't.20care.20about.20whitespace/near/433045443

Metadata

Assignees

Seasawher

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests