-
Emmanuel Milou authored
Feature/git dirty repos Add a git "module" that checks if workspace repositories are clean or not. If not, asks if user wishes to continue with consequence of potentially loosing local files/commits/modifications. See merge request !5
354ba9fd
To find the state of this project's repository at the time of any of these versions, check out the tags.