mirror of
https://github.com/release-engineering/dist-git.git
synced 2025-02-23 23:12:55 +00:00
![]() - fix problems with already existing files when doing `vagrant reload` - try reloading distgit before setting it up |
||
---|---|---|
.. | ||
files | ||
pkgs-files | ||
tests | ||
Makefile | ||
PURPOSE | ||
run.sh | ||
setup.sh |