Log In
bug
/
pagure
Clone
Source Code
GIT
Source
Issues
1
Pull Requests
0
Stats
History dev/Vagrantfile.example
Branch:
eb5b175c136cfc2eaa1eeeeb77cd65da82a9da56
master
eb5b175c136cfc2eaa1eeeeb77cd65da82a9da56
dev
Vagrantfile.example
Move all the development related files into a dev/ folder
Pierre-Yves Chibon
• 8 years ago
dedefc