2 ms·No, I mean that the larger Git repo, of the main project, would version the .vdm directory.by dotancohen 2y agoNo, I mean that the larger Git repo, of the main project, would version the .vdm directory.