ee71d18 Add code from upstream libs branch

Authored and Committed by Petr Machata 12 years ago
    Add code from upstream libs branch
    
        
file added
+10190
file modified
+14 -4