libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.
[barrelfish] / include / barrelfish / terminal.h
2013-06-26 Raphael Fuchslibbarrelfish: Adjust libbarrelfish to new terminal...
2013-02-08 Zaheer Chothiaheaders: wrap declarations in extern "C".
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.