[tlaplus] Re: TLA+ files being deleted on OneDrive

[Arthur Daniels <danielsjarthur@xxxxxxxxx>]

*****....so it seems it is a compatibility issue between the two? Much appreciated in advance for your assistance. Arthur

On Friday, August 25, 2023 at 2:03:44 PM UTC-4 Arthur Daniels wrote:

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/68f47049-27bf-4f47-a271-62f1ff8e9e3cn%40googlegroups.com.