-
Benjamin Fischer authored
workspace.ini reader: avoid polling by implementing a workspace-global watch emitting a message on changes or deletion/renaming
78c75b57
workspace.ini reader: avoid polling by implementing a workspace-global watch emitting a message on changes or deletion/renaming