summaryrefslogtreecommitdiffstats
path: root/vm
AgeCommit message (Expand)Author
2011-12-23manual merge with CTIDominique Martinet
2010-11-28merge with masterDominique Martinet
2010-08-11merged with CTI branch - roughlyDominique Martinet
2010-07-21gitignoresroot
2010-07-21ignoresroot