Revision 39a5dca5cd636152d493cb86c6063a6b28a4e5d3

Committed on 02/10/2013 6:03 am by Pedro Resende <[email protected]> [GitHub Diff]

Changed the hostname to debian instead of centos