Fix whitespace in devices Hakefile. ---  devices/Hakefile |   10 +++++-----  1 file changed, 5 insertions(+), 5 deletions(-)
Fix whitespace in devices Hakefile.
---
 devices/Hakefile |   10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

mslovy/barrelfish,mslovy/barrelfish,linusyang/barrelfish,kishoredbn/barrelfish,8l/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,linusyang/barrelfish,linusyang/barrelfish,8l/barrelfish,kishoredbn/barrelfish,utsav2601/cmpe295A,mslovy/barrelfish,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,8l/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,linusyang/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,mslovy/barrelfish,8l/barrelfish,linusyang/barrelfish,mslovy/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,utsav2601/cmpe295A,kishoredbn/barrelfish