Fix makebuildserver after rename, tidy gitignores

This commit is contained in:
Daniel Martí 2013-12-30 17:18:45 +01:00
parent 96a84afc8a
commit 90c27da3ea
5 changed files with 16 additions and 16 deletions

View file

@ -1,6 +1,6 @@
#!/usr/bin/env python2
# You will need to alter these before running makebuildserver.py
# You will need to alter these before running ./makebuildserver
# Name of the base box to use...
basebox = "raring32"