Merge mainline changes
commit8f88beb719ec583e3b62c8b5e68c4581cae5c207
authorMaurizio Lombardi <m.lombardi85@gmail.com>
Sun, 25 Nov 2012 21:34:07 +0000 (25 21:34 +0000)
committerMaurizio Lombardi <m.lombardi85@gmail.com>
Sun, 25 Nov 2012 21:34:07 +0000 (25 21:34 +0000)
tree258c6ef19e7e412c8e58ca38cf14e1d082c26d4a
parent150a271898ef7efbc0fcad8d33cfafa0104fdb78
parent7462674581270cbc4c5e0b2d1075ebff0d1aec55
Merge mainline changes
HelenOS.config