Merge branch 'symbol-export' into dev
Conflicts: doc/user-config.jam
Authored by: svarneticist 2011-09-15
Parents: [08bb32][b2c10a]
Children: [98033e][fc6c20]