How VDM works - Githubissues

VDM-Maintainer-Group / issues-collection

Tell us what VDM should be like.

0 stars 0 forks source link

How VDM works #1

Closed iamhyc closed 4 years ago

iamhyc commented 4 years ago

Archive/Restore is a way whilst git-like is another way.

For now, I think it's better to use Archive/Restore, and providing an option when archive the current workloads like: "close this workload" or "close all".

iamhyc commented 4 years ago

Please refer to #2 , and the git-like way is adopted because it's really cool~