[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] TLA+ files being deleted on OneDrive


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.