Stream: General

Topic: Undo hide_fact (open)

Lukas Stevens (Apr 29 2021 at 09:50):

Is there a way to undo hide_fact (open) such that one doesn't have to write the prefix?

Last updated: Apr 26 2025 at 12:36 UTC