Merge branch 'develop' into debian-develop
[archipelago] / xseg / lib / kernel / README
2014-02-14 Filippos GiannakosStrip xseg stuff
2012-02-27 Georgios D. TsoukalasREADME placeholder files for lib/ directories