Stream: General

Topic: Undo hide_fact (open)


view this post on Zulip 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: Jul 15 2022 at 23:21 UTC