Hacker News new | ask | show | jobs
by dotancohen 694 days ago
No, I mean that the larger Git repo, of the main project, would version the .vdm directory.