merge with tip
authorpravin@inf.ethz.ch <pravin@inf.ethz.ch>
Thu, 31 Oct 2013 03:41:46 +0000 (04:41 +0100)
committerpravin@inf.ethz.ch <pravin@inf.ethz.ch>
Thu, 31 Oct 2013 03:41:46 +0000 (04:41 +0100)
commit15175cf884145b259dd207f0ba8d98d213e0da34
tree37de0c30f01d6fb3ba862c35e96ba24874420744
parenta6171934180d16ef1f4f74204d3ec6dc40f9f1ae
parente7b1d362eb0874c630f96a84cd9acd7f9699e747
merge with tip
errors/errno.fugu
hake/RuleDefs.hs
hake/symbolic_targets.mk
if/Hakefile
lib/barrelfish/terminal.c
usr/kaluga/driver_startup.c