Merge changes from CEDET upstream.
commit0aada74e88baf554a1bf95bce9373d9ac76429ad
authorDavid Engster <dengste@eml.cc>
Sun, 7 Oct 2012 18:29:07 +0000 (7 20:29 +0200)
committerDavid Engster <dengste@eml.cc>
Sun, 7 Oct 2012 18:29:07 +0000 (7 20:29 +0200)
treeed781e2bd57ac01c36bc2583948ae4375e83eaa3
parentfcacb55843700a851e10402c2274d71d5b522349
parent740877cd2346da5fa3e2085185cd51912eebf0a0
Merge changes from CEDET upstream.