updated DeveloperDump

Authored by tomaluca on Jan 30 2017, 1:51 PM.

Description

updated DeveloperDump

Signed-off-by: Toma Luca <toma.luca95@gmail.com>

Details

Committed
tomalucaJan 30 2017, 1:51 PM
Parents
R192:81712ad724fc: Updated mathoid and EmbedVideo
Branches
Unknown
Tags
Unknown