[tlaplus] TLA+ files being deleted on OneDrive

[Arthur Daniels <danielsjarthur@xxxxxxxxx>]

Hi! 

Has anyone experienced issues between TLA+ and MS OneDrive where OneDrive is automatically deleting TLA+ files necessary for its operation? Also incompatible .DS files are being stored on OneDrive (apparently related to TLA+). The issue occurred on both my personal and work Windows based laptops so it seems its not compatibility issue between the two? Much appreciated in advance for your assistance. Arthur

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/c4b97947-4f7a-44c6-a237-363fea877640n%40googlegroups.com.