@helge-meinhard - could you please specify what cache file(s) you removed and whether it was client or server side or both?
Unison creates numerous cache files in $HOME/.unison/ but their specific meaning and content is mostly unclear.
@helge-meinhard - could you please specify what cache file(s) you removed and whether it was client or server side or both?
Unison creates numerous cache files in $HOME/.unison/ but their specific meaning and content is mostly unclear.